From 01f79ebb760367b56b4e3a3251e844b83ca4073d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 26 Dec 2025 15:00:36 -0800 Subject: [PATCH] tweaks and fixes Signed-off-by: Nikolaj Bjorner --- src/math/lp/nla_stellensatz.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/nla_stellensatz.cpp b/src/math/lp/nla_stellensatz.cpp index 275a017a2..2fcdc5bf2 100644 --- a/src/math/lp/nla_stellensatz.cpp +++ b/src/math/lp/nla_stellensatz.cpp @@ -1247,8 +1247,8 @@ namespace nla { continue; } if (is_fixed(w) && level > num_fixed) { - verbose_stream() << "fixed v" << w << " cannot be repaired " << level << "\n"; - display_constraint(verbose_stream(), conflict) << "\n"; + IF_VERBOSE(3, verbose_stream() << "fixed v" << w << " cannot be repaired " << level << "\n"; + display_constraint(verbose_stream(), conflict) << "\n"); move_up(w); ++num_fixed; --level;