fix Z3Prover#6488

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
hgvk94 · Mar 27, 2023 · 7fc614f · 7fc614f
1 parent 29520a1
commit 7fc614f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/ast/simplifiers/elim_unconstrained.cpp b/src/ast/simplifiers/elim_unconstrained.cpp
@@ -205,7 +205,8 @@ void elim_unconstrained::freeze(expr* t) {
     if (!n.m_term)
         return;
     n.m_refcount = UINT_MAX / 2;
-    m_heap.increased(root(t));
+    if (m_heap.contains(root(t)))
+        m_heap.increased(root(t));
 }
 
 void elim_unconstrained::gc(expr* t) {