From ed84b14e6c7dfaf6efd1b740119ecb1631e8bdfb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 20 Nov 2025 17:55:37 -0800
Subject: [PATCH] fixing coi bug

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/lp/nla_coi.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/lp/nla_coi.cpp b/src/math/lp/nla_coi.cpp
index 370d4148f..c1ae10980 100644
--- a/src/math/lp/nla_coi.cpp
+++ b/src/math/lp/nla_coi.cpp
@@ -11,6 +11,7 @@ namespace nla {
       m_term_set.reset();
       m_mon_set.reset();
       m_constraint_set.reset();
+      m_var_set.reset();
       auto& lra = c.lra_solver();
 
       for (auto ci : lra.constraints().indices()) {