From ba881d9c9bec76d690dbe3a8d6eef9ecbe78106f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 16 Oct 2023 00:40:43 -0700 Subject: [PATCH] add facility to experiment with nla justified conflicts from Grobner equations Signed-off-by: Nikolaj Bjorner --- src/math/lp/nla_grobner.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/nla_grobner.cpp b/src/math/lp/nla_grobner.cpp index af7373d02..a7c7dd762 100644 --- a/src/math/lp/nla_grobner.cpp +++ b/src/math/lp/nla_grobner.cpp @@ -36,7 +36,7 @@ namespace nla { if (m_quota == 0) m_quota = c().params().arith_nl_gr_q(); - if (false && m_quota == 1) + if (m_quota == 1) return; lp_settings().stats().m_grobner_calls++;