From 0db112ef8f2dbcb5d2089d71178627b15bc855b0 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 14 Feb 2020 17:37:26 -0800 Subject: [PATCH] Update nla_core.cpp --- src/math/lp/nla_core.cpp | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp index 9342df445..9982100d7 100644 --- a/src/math/lp/nla_core.cpp +++ b/src/math/lp/nla_core.cpp @@ -1230,11 +1230,7 @@ rational core::val(const factorization& f) const { } void core::add_empty_lemma() { - m_lemma_vec->push_back(lemma()); - if (lp_settings().stats().m_nla_calls == 5 && m_lemma_vec->size() == 11) { - TRACE("nla_solver", tout << "bad lemma\n";); - } - + m_lemma_vec->push_back(lemma()); } void core::negate_relation(unsigned j, const rational& a) {