From 95eb0a052113b4c36e3c88c7ae81e054cc89887a Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 2 Aug 2019 06:53:09 -0700 Subject: [PATCH] remove an unnecessary call m_mpq_lar_core_solver.m_r_solver.track_column_feasibility(j) Signed-off-by: Lev Nachmanson --- src/util/lp/lar_solver.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/util/lp/lar_solver.cpp b/src/util/lp/lar_solver.cpp index 9fa84297c..f4fe52a19 100644 --- a/src/util/lp/lar_solver.cpp +++ b/src/util/lp/lar_solver.cpp @@ -526,7 +526,6 @@ void lar_solver::set_value_for_nbasic_column(unsigned j, const impq & new_val) { auto & x = m_mpq_lar_core_solver.m_r_x[j]; auto delta = new_val - x; x = new_val; - m_mpq_lar_core_solver.m_r_solver.track_column_feasibility(j); change_basic_columns_dependend_on_a_given_nb_column(j, delta); }