From 1ba0f5aba944a28342a12ea194c663449fec3366 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sun, 8 Oct 2023 10:16:40 -0700
Subject: [PATCH] cosmetic changes

---
 src/math/lp/lar_solver.cpp      | 2 +-
 src/math/lp/monomial_bounds.cpp | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index c3f0cd771..ebe14e407 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -447,7 +447,7 @@ namespace lp {
                                         
         case column_type::lower_bound: {
             const auto& l = lcs.m_r_lower_bounds()[j];
-            if (val != lcs.m_r_lower_bounds()[j]) {
+            if (val != l) {
                 set_value_for_nbasic_column(j, l);
                 return true;
             }
diff --git a/src/math/lp/monomial_bounds.cpp b/src/math/lp/monomial_bounds.cpp
index b2e62073a..81c00d2f0 100644
--- a/src/math/lp/monomial_bounds.cpp
+++ b/src/math/lp/monomial_bounds.cpp
@@ -370,7 +370,7 @@ namespace nla {
     rational monomial_bounds::fixed_var_product(monic const& m) {
         rational r(1);
         for (lpvar v : m) {
-            //  we have to use the column bounds here, because the value of the column value may be outside the bounds
+            //  we have to use the column bounds here, because the column value may be outside the bounds
             if (c().var_is_fixed(v))
                 r *= c().lra.get_lower_bound(v).x;            
         }