enforce sign coherence #4740

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 9, 2020 · be50f38 · be50f38
1 parent 638ef9e
commit be50f38
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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();
     }