From 276b00db5b813b1b7133830f9044bc367c0d5aac Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Sun, 12 Apr 2026 09:39:20 -0400 Subject: [PATCH] Work around missing lar_term== Previous commit disabled lar_term==. This is the only use of the operator that seems meaningful. Changed it to compare by references instead. Compiles, but not sure this is the best solution. --- src/math/lp/nla_types.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/nla_types.h b/src/math/lp/nla_types.h index 401e4eb62..d77457433 100644 --- a/src/math/lp/nla_types.h +++ b/src/math/lp/nla_types.h @@ -42,7 +42,7 @@ namespace nla { ineq(lpvar v, lp::lconstraint_kind cmp, int i): m_cmp(cmp), m_term(v), m_rs(rational(i)) {} ineq(lpvar v, lp::lconstraint_kind cmp, rational const& r): m_cmp(cmp), m_term(v), m_rs(r) {} bool operator==(const ineq& a) const { - return m_cmp == a.m_cmp && m_term == a.m_term && m_rs == a.m_rs; + return m_cmp == a.m_cmp && &m_term == &a.m_term && m_rs == a.m_rs; } const lp::lar_term& term() const { return m_term; }; lp::lconstraint_kind cmp() const { return m_cmp; };