remove an unused parameter in bound_analyzer_on_row

Signed-off-by: Lev Nachmanson <[email protected]>
Z3Prover · Feb 21, 2025 · 7044bb8 · 7044bb8
1 parent fbfbfa5
commit 7044bb8
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git 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<mpq>& 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<mpq>& 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
@@ -184,7 +184,6 @@ class lar_solver : public column_namer {
 
         return bound_analyzer_on_row<row_strip<mpq>, lp_bound_propagator<T>>::analyze_row(
             A_r().m_rows[row_index],
-            null_ci,
             zero_of_type<numeric_pair<mpq>>(),
             row_index,
             bp);