From 066413516f21335e17424d9ba8b19292569e822b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 9 Apr 2020 19:39:31 -0700 Subject: [PATCH] disable temp debug Signed-off-by: Nikolaj Bjorner --- src/smt/smt_context_pp.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/smt/smt_context_pp.cpp b/src/smt/smt_context_pp.cpp index 00c23a9f5..dacc26050 100644 --- a/src/smt/smt_context_pp.cpp +++ b/src/smt/smt_context_pp.cpp @@ -454,7 +454,7 @@ 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 != 2); + // SASSERT(m_lemma_id != 2); return m_lemma_id; } @@ -498,7 +498,7 @@ namespace smt { ); display_lemma_as_smt_problem(out, num_antecedents, antecedents, num_eq_antecedents, eq_antecedents, consequent, logic); out.close(); - SASSERT(m_lemma_id != 2); + //SASSERT(m_lemma_id != 2); return m_lemma_id; }