From d50c4bfcc1f14db5a277fc98f78494e6ffa8403c Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sun, 28 Nov 2021 09:44:50 -0800
Subject: [PATCH] remove an unused var

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/int_solver.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp
index 9b11f883a..b470baf98 100644
--- a/src/math/lp/int_solver.cpp
+++ b/src/math/lp/int_solver.cpp
@@ -346,7 +346,6 @@ bool int_solver::get_freedom_interval_for_column(unsigned j, bool & inf_l, impq
     unsigned row_index;
     lp_assert(settings().use_tableau());
     const auto & A = lra.A_r();
-    unsigned rounds = 0;
     for (auto c : A.column(j)) {
         row_index = c.var();
         const mpq & a = c.coeff();
@@ -391,7 +390,6 @@ bool int_solver::get_freedom_interval_for_column(unsigned j, bool & inf_l, impq
                 SET_BOUND(set_upper, u, inf_u, a, xi, lrac.m_r_lower_bounds()[i]);
             }
         }
-        ++rounds;
     }
 
     l += xj;