more dead code removal

Z3Prover · Mar 8, 2023 · 748c752 · 748c752
1 parent e430f28
commit 748c752
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 6 deletions.
diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
@@ -2330,10 +2330,6 @@ namespace lp {
         return true;
     }
 
-    void lar_solver::pivot_column_tableau(unsigned j, unsigned row_index) {
-        m_mpq_lar_core_solver.m_r_solver.pivot_column_tableau(j, row_index);
-        m_mpq_lar_core_solver.m_r_solver.change_basis(j, r_basis()[row_index]);
-    }
 } // namespace lp
 
 
diff --git a/src/math/lp/lar_solver.h b/src/math/lp/lar_solver.h
@@ -519,8 +519,6 @@ class lar_solver : public column_namer {
         return m_mpq_lar_core_solver.lower_bound(j);
     }
 
-    void pivot_column_tableau(unsigned j, unsigned row_index);
-
     inline const impq & column_upper_bound(unsigned j) const {
         return m_mpq_lar_core_solver.upper_bound(j);
     }