From be50f389031b0b90c3aeb843f776d135413a9295 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 9 Nov 2020 14:30:00 -0800
Subject: [PATCH] enforce sign coherence #4740

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_context_pp.cpp | 2 --
 1 file changed, 2 deletions(-)

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();
     }