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;