From 7044bb8485398ee26218d89ad83da8ed0a737387 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 21 Feb 2025 10:17:43 -1000 Subject: [PATCH] remove an unused parameter in bound_analyzer_on_row Signed-off-by: Lev Nachmanson --- src/math/lp/bound_analyzer_on_row.h | 4 +--- src/math/lp/lar_solver.h | 1 - 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/src/math/lp/bound_analyzer_on_row.h b/src/math/lp/bound_analyzer_on_row.h index 20e45a218..8e2c4d0d8 100644 --- a/src/math/lp/bound_analyzer_on_row.h +++ b/src/math/lp/bound_analyzer_on_row.h @@ -42,7 +42,6 @@ public : // constructor bound_analyzer_on_row( const C & it, - unsigned bj, // basis column for the row const numeric_pair& rs, unsigned row_or_term_index, B & bp) @@ -57,11 +56,10 @@ public : static unsigned analyze_row(const C & row, - unsigned bj, // basis column for the row const numeric_pair& rs, unsigned row_or_term_index, B & bp) { - bound_analyzer_on_row a(row, bj, rs, row_or_term_index, bp); + bound_analyzer_on_row a(row, rs, row_or_term_index, bp); return a.analyze(); } diff --git a/src/math/lp/lar_solver.h b/src/math/lp/lar_solver.h index 25649ad45..681a684ab 100644 --- a/src/math/lp/lar_solver.h +++ b/src/math/lp/lar_solver.h @@ -184,7 +184,6 @@ class lar_solver : public column_namer { return bound_analyzer_on_row, lp_bound_propagator>::analyze_row( A_r().m_rows[row_index], - null_ci, zero_of_type>(), row_index, bp);