From e30743c2cf33d33ca21b204ee99b0eeb71fa25ca Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Thu, 4 Oct 2018 20:28:56 -0700 Subject: [PATCH] commit after rebase Signed-off-by: Lev Nachmanson --- src/util/lp/nla_solver.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/util/lp/nla_solver.cpp b/src/util/lp/nla_solver.cpp index c1ad8284d..1787a6012 100644 --- a/src/util/lp/nla_solver.cpp +++ b/src/util/lp/nla_solver.cpp @@ -347,8 +347,8 @@ struct solver::imp { // otherwise it remains false // Returns 2 if the sign is not defined. int get_mon_sign_zero_var(unsigned j, bool & strict) { - auto it = m_var_lists.find(j); - if (it == m_var_lists.end()) + auto it = m_var_to_mon_indices.find(j); + if (it == m_var_to_mon_indices.end()) return 2; lpci lci = -1; lpci uci = -1; @@ -1391,7 +1391,7 @@ struct solver::imp { if (it == m_var_to_mon_indices.end()) { unsigned_vector v; v.push_back(i); - m_var_lists[j] = v; + m_var_to_mon_indices[j] = v; } else { it->second.push_back(i);