From 3a1a8a9f1415b57fe0af714ada1c8bc0b6157a44 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 20 Jun 2025 23:16:05 +0000
Subject: [PATCH] Fix memory leak in lar_solver by adding var_register cleanup

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 0fd257685..d1a6d2712 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -231,6 +231,7 @@ namespace lp {
     lar_solver::~lar_solver() {
         for (auto t : m_imp->m_terms)
             delete t;
+        m_imp->m_var_register.clear();
     }
     
     void lar_solver::clear_columns_with_changed_bounds() { m_imp->m_columns_with_changed_bounds.reset(); }