From a6941a3e7546954e492f2830f217f4e3f9a76feb Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Sun, 15 Mar 2020 19:47:58 -0700 Subject: [PATCH] accept terms indices in core::explain_coeff_upper_bound() Signed-off-by: Lev Nachmanson --- src/math/lp/nla_core.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp index 2212d042f..ae17a646a 100644 --- a/src/math/lp/nla_core.cpp +++ b/src/math/lp/nla_core.cpp @@ -340,7 +340,7 @@ bool core:: explain_coeff_lower_bound(const lp::lar_term::ival& p, rational& bou return true; } -bool core:: explain_coeff_upper_bound(const lp::lar_term::ival& p, rational& bound, lp::explanation& e) const { +bool core::explain_coeff_upper_bound(const lp::lar_term::ival& p, rational& bound, lp::explanation& e) const { const rational& a = p.coeff(); lpvar j = lp::is_term(p.var())? m_lar_solver.map_term_index_to_column_index(p.var()) : p.var(); SASSERT(!a.is_zero());