From 43c35e43202a8b02b60115547f91b12e5464ebb3 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 20 Jun 2025 23:47:19 +0000
Subject: [PATCH] Complete memory leak fix: add dealloc(m_imp) to lar_solver
 destructor

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/math/lp/lar_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index d1a6d2712..ce5156c42 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -232,6 +232,7 @@ namespace lp {
         for (auto t : m_imp->m_terms)
             delete t;
         m_imp->m_var_register.clear();
+        dealloc(m_imp);
     }
     
     void lar_solver::clear_columns_with_changed_bounds() { m_imp->m_columns_with_changed_bounds.reset(); }