fix #1326

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

src/opt/maxres.cpp

@@ -229,7 +229,6 @@ public:
     }
 
     lbool primal_dual_solver() {
-        std::cout << "pd\n";
         if (!init()) return l_undef;
         lbool is_sat = init_local();
         trace();