From 9c078c6d594f6f1e51e5208d1f40b4f40452b2f6 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 5 Jun 2020 17:00:58 -0700 Subject: [PATCH] relaxing asserts in column_to_reported_index Signed-off-by: Lev Nachmanson --- src/math/lp/lar_solver.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp index 44cec7ed0..55c8a1461 100644 --- a/src/math/lp/lar_solver.cpp +++ b/src/math/lp/lar_solver.cpp @@ -163,8 +163,8 @@ void lar_solver::substitute_basis_var_in_terms_for_row(unsigned i) { // It is the same index that was returned by add_var(), or // by add_term() unsigned lar_solver::column_to_reported_index(unsigned j) const { - SASSERT(j < m_var_register.size()); - SASSERT(!tv::is_term(j)); + if (tv::is_term(j)) + return j; unsigned ext_var_or_term = m_var_register.local_to_external(j); if (tv::is_term(ext_var_or_term)) { j = ext_var_or_term;