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;  };