fix #6488

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 12, 2022 · aded8e5 · aded8e5
1 parent 4598af7
commit aded8e5
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) {