From 56b5492752088b23393ebaa00b1e251cad1ded97 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 7 Jul 2023 15:05:17 -0700 Subject: [PATCH] remove dead code --- src/math/lp/lp_core_solver_base.h | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/math/lp/lp_core_solver_base.h b/src/math/lp/lp_core_solver_base.h index e65e839a6..47e09a4c8 100644 --- a/src/math/lp/lp_core_solver_base.h +++ b/src/math/lp/lp_core_solver_base.h @@ -538,13 +538,6 @@ public: return m_basis_heading[j] >= 0; } - - void update_x_with_feasibility_tracking(unsigned j, const X & v) { - TRACE("lar_solver_feas_bug", tout << "j = " << j << ", v = " << v << "\n";); - m_x[j] = v; - track_column_feasibility(j); - } - void add_delta_to_x_and_track_feasibility(unsigned j, const X & del) { TRACE("lar_solver_feas_bug", tout << "del = " << del << ", was x[" << j << "] = " << m_x[j] << "\n";); m_x[j] += del;