diff --git a/src/sat/sat_solver/inc_sat_solver.cpp b/src/sat/sat_solver/inc_sat_solver.cpp
index f4e7909ca..3cbc2bcbf 100644
--- a/src/sat/sat_solver/inc_sat_solver.cpp
+++ b/src/sat/sat_solver/inc_sat_solver.cpp
@@ -385,15 +385,6 @@ public:
         m_map.mk_inv(lit2expr);
         for (sat::literal l : lits) {
             expr* e = lit2expr.get(l.index());
-            if (!e) {
-                std::cout << l << "\n";
-                std::cout << lits << "\n";
-                std::cout << vars << "\n";
-                std::cout << lit2expr << "\n";
-                for (auto const& kv : m_map) {
-                    std::cout << kv.m_value << " " << mk_pp(kv.m_key, m) << "\n";
-                }
-            }
             SASSERT(e);
             fmls.push_back(e);
         }