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