From acb10d0288cec6c4c49913e38eabe96f16e3d660 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nikolaj@cs.stanford.edu>
Date: Fri, 31 Jul 2026 10:14:18 -0700
Subject: [PATCH] Update monomial_bounds.cpp

---
 src/math/lp/monomial_bounds.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/math/lp/monomial_bounds.cpp b/src/math/lp/monomial_bounds.cpp
index 3b245981d5..eab39c9d01 100644
--- a/src/math/lp/monomial_bounds.cpp
+++ b/src/math/lp/monomial_bounds.cpp
@@ -300,8 +300,7 @@ namespace nla {
 
     bool monomial_bounds::propagate_nonfixed(monic const& m, rational const& k, lpvar w) {
         if (c().val(m.var()) == k * c().val(w)) {
-            verbose_stream() << "non-fixed\n";
-            //return false;
+            return false;
         }
         vector<std::pair<lp::mpq, unsigned>> coeffs;        
         coeffs.push_back({-k, w});