From ae21d2d98e857ca2714b4e99c5fb0db88b52279b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 20 Jun 2025 20:26:02 -0700
Subject: [PATCH] Update lar_solver.cpp

---
 src/math/lp/lar_solver.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index ce5156c42..14faba63c 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -231,7 +231,6 @@ namespace lp {
     lar_solver::~lar_solver() {
         for (auto t : m_imp->m_terms)
             delete t;
-        m_imp->m_var_register.clear();
         dealloc(m_imp);
     }