mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 02:15:19 +00:00
enforce sign coherence #4740
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
638ef9ed03
commit
be50f38903
|
@ -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();
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue