diff --git a/src/smt/smt_context_pp.cpp b/src/smt/smt_context_pp.cpp
index 8fb6725ce..2f0c93fcf 100644
--- a/src/smt/smt_context_pp.cpp
+++ b/src/smt/smt_context_pp.cpp
@@ -480,8 +480,6 @@ namespace smt {
 #else
         strm << "lemma_" << (++m_lemma_id) << ".smt2";
 #endif
-        SASSERT(m_lemma_id != 341);
-        VERIFY(m_lemma_id != 341);
         return strm.str();
     }