diff --git a/src/opt/maxres.cpp b/src/opt/maxres.cpp
index 3707e5aeb..b06773223 100644
--- a/src/opt/maxres.cpp
+++ b/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();