From 8da84ec69e5fbbf9e1505b0ad92563fd4cb2e1df Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 11 Jun 2018 23:31:52 -0700
Subject: [PATCH] merge

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

diff --git a/src/qe/qe_mbi.cpp b/src/qe/qe_mbi.cpp
index 31b6001ea..d9b62fb96 100644
--- a/src/qe/qe_mbi.cpp
+++ b/src/qe/qe_mbi.cpp
@@ -248,7 +248,6 @@ namespace qe {
                 case l_true:
                     return l_true;
                 case l_false:
-					std::cout << lits << "\n";
                     a.block(lits);
                     itps.push_back(mk_not(mk_and(lits)));
                     break;