From 60a98790c62e5fa36b340ef7873dec9ced50bddf Mon Sep 17 00:00:00 2001 From: Ilana Shapiro Date: Thu, 30 Oct 2025 14:49:11 -0700 Subject: [PATCH] bugfix --- src/smt/smt_parallel.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp index 4d4bfe4f1..40ea268d9 100644 --- a/src/smt/smt_parallel.cpp +++ b/src/smt/smt_parallel.cpp @@ -139,7 +139,7 @@ namespace smt { m_my_param_state.insert(symbol("smt.arith.nl.cross_nested"), smtp.arith_nl_cross_nested()); m_my_param_state.insert(symbol("smt.arith.nl.delay"), smtp.arith_nl_delay()); m_my_param_state.insert(symbol("smt.arith.nl.expensive_patching"), smtp.arith_nl_expensive_patching()); - m_my_param_state.insert(symbol("smt.arith.nl.gb"), smtp.arith_nl_gb()); + // m_my_param_state.insert(symbol("smt.arith.nl.gb"), smtp.arith_nl_gb()); m_my_param_state.insert(symbol("smt.arith.nl.horner"), smtp.arith_nl_horner()); m_my_param_state.insert(symbol("smt.arith.nl.horner_frequency"), smtp.arith_nl_horner_frequency()); m_my_param_state.insert(symbol("smt.arith.nl.optimize_bounds"), smtp.arith_nl_optimize_bounds());