From fa2d7a1c5775e534c01780769d1e0252766f1a81 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 29 Sep 2025 18:33:47 -0700
Subject: [PATCH] fix introduced memory leak

---
 src/math/lp/lar_constraints.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/math/lp/lar_constraints.h b/src/math/lp/lar_constraints.h
index 803893243..ecae3b6d4 100644
--- a/src/math/lp/lar_constraints.h
+++ b/src/math/lp/lar_constraints.h
@@ -77,6 +77,10 @@ public:
     lar_var_constraint(unsigned j, lconstraint_kind kind, u_dependency* dep, const mpq& right_side) : 
         lar_base_constraint(j, kind, dep, right_side) {}
 
+    ~lar_var_constraint() override {
+        dealloc(m_lhs);
+    }
+
     vector<std::pair<mpq, lpvar>> coeffs() const override {
         vector<std::pair<mpq, lpvar>> ret;
         ret.push_back(std::make_pair(one_of_type<mpq>(), column()));