From 67d77e26d2b348833bcc7ce710733e05f4ba7234 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 21 Feb 2025 14:43:08 -0800
Subject: [PATCH] remove a parameter when calling bound_analyzer_on_row

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

diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp
index fa1471be4..7990af16b 100644
--- a/src/math/lp/int_solver.cpp
+++ b/src/math/lp/int_solver.cpp
@@ -273,10 +273,9 @@ namespace lp {
             };
 
             for (unsigned row_index = 0; row_index < lra.row_count(); ++row_index) {
-                auto nb = bound_analyzer_on_row<row_strip<mpq>, lp_bound_propagator<bound_consumer>>::analyze_row(
+                bound_analyzer_on_row<row_strip<mpq>, lp_bound_propagator<bound_consumer>>::analyze_row(
                     lra.A_r().m_rows[row_index],
-                    zero_of_type<numeric_pair<mpq>>(),
-                    row_index,
+                    zero_of_type<numeric_pair<mpq>>(),                    
                     bp);
 
                 settings().stats().m_bounds_tightenings += static_cast<unsigned>(ibounds.size());