From d2f15d1b1aed5b5e9f4db574d50c2fd67efe73de Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 22 Apr 2021 23:04:54 -0700
Subject: [PATCH] #5211

---
 src/sat/smt/bv_ackerman.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/sat/smt/bv_ackerman.cpp b/src/sat/smt/bv_ackerman.cpp
index b970c87fa..18f0bd951 100644
--- a/src/sat/smt/bv_ackerman.cpp
+++ b/src/sat/smt/bv_ackerman.cpp
@@ -31,6 +31,8 @@ namespace bv {
     }
 
     void ackerman::reset() {
+        while (m_queue)
+            remove(m_queue->prev());     
         m_table.reset();
         m_queue = nullptr;        
     }