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;        
     }