From ee8aa507501d5c70c4bc813f767731e0012ca616 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 23 Mar 2020 13:20:02 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- 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 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; }