mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 20:33:38 +00:00
Code Activity

fix #6488

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-12-12 11:40:59 -08:00
parent 4598af70c8
commit aded8e5bf4
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/ast/simplifiers/elim_unconstrained.cpp
View file

@ -205,7 +205,8 @@ void elim_unconstrained::freeze(expr* t) {
if (!n.m_term) if (!n.m_term)
return; return;
n.m_refcount = UINT_MAX / 2; 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) { void elim_unconstrained::gc(expr* t) {