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;