From 89ed4d6c8b0fa955e64ddf0c60094d6bf6df25f9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 14 Jan 2025 07:27:59 -0800
Subject: [PATCH] use monomial variable, not the fixed variable

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

diff --git a/src/math/lp/monomial_bounds.cpp b/src/math/lp/monomial_bounds.cpp
index 06901e062..ad0d11cbc 100644
--- a/src/math/lp/monomial_bounds.cpp
+++ b/src/math/lp/monomial_bounds.cpp
@@ -69,7 +69,7 @@ namespace nla {
         }
         vector<std::pair<lp::mpq, lpvar>> coeffs;
         coeffs.push_back({coeff, free_var});
-        coeffs.push_back({mpq(-1), v});
+        coeffs.push_back({mpq(-1), m.var()});
         lpvar j = lra.add_term(coeffs, UINT_MAX);
         lra.update_column_type_and_bound(j, llc::EQ, mpq(0), d);
     }