diff --git a/src/smt/smt_context_pp.cpp b/src/smt/smt_context_pp.cpp
index f51f22238..a5ec36466 100644
--- a/src/smt/smt_context_pp.cpp
+++ b/src/smt/smt_context_pp.cpp
@@ -454,7 +454,6 @@ namespace smt {
         display_lemma_as_smt_problem(out, num_antecedents, antecedents, consequent, logic);
         TRACE("non_linear", display_lemma_as_smt_problem(tout, num_antecedents, antecedents, consequent, logic););
         out.close();
-        SASSERT(m_lemma_id != 78);
         return m_lemma_id;
     }
 
@@ -498,7 +497,6 @@ namespace smt {
 );
         display_lemma_as_smt_problem(out, num_antecedents, antecedents, num_eq_antecedents, eq_antecedents, consequent, logic);
         out.close();
-        SASSERT(m_lemma_id != 78);
         return m_lemma_id;
     }