From 81f242e45fdc7d85c8d357dabfbc817eed17e1d4 Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Sun, 12 Apr 2026 09:38:16 -0400 Subject: [PATCH] Disable operator== for lar_term The operator== for lar_term was never intended to be used. This changes physically disables it to identify what happens to depend on the operator. --- src/math/lp/lar_term.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/lar_term.h b/src/math/lp/lar_term.h index cca541801..b2d777493 100644 --- a/src/math/lp/lar_term.h +++ b/src/math/lp/lar_term.h @@ -129,8 +129,8 @@ public: add_monomial(a, v1); add_monomial(b, v2); } - bool operator==(const lar_term & a) const { return false; } // take care not to create identical terms - bool operator!=(const lar_term & a) const { return ! (*this == a);} + bool operator==(const lar_term & a) const = delete; // take care not to create identical terms + bool operator!=(const lar_term & a) const = delete; // some terms get used in add constraint // it is the same as the offset in the m_constraints