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());