diff --git a/src/smt/smt_context_pp.cpp b/src/smt/smt_context_pp.cpp
index ec4a5ec87..02ad786dd 100644
--- a/src/smt/smt_context_pp.cpp
+++ b/src/smt/smt_context_pp.cpp
@@ -493,8 +493,6 @@ namespace smt {
         TRACE("lemma", tout << strm.str() << "\n";);
         display_lemma_as_smt_problem(out, num_antecedents, antecedents, num_eq_antecedents, eq_antecedents, consequent, logic);
         out.close();
-        if (m_lemma_id==6184)
-            exit(0);
         return m_lemma_id;
     }