From e7aa6455bce9ef77d6fcfcd1dcb2c31aa225e59c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 25 Oct 2017 19:25:25 -0700
Subject: [PATCH] fix #1326

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/opt/maxres.cpp | 1 -
 1 file changed, 1 deletion(-)

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();