fix #6488

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 12, 2022 · 4598af7 · 4598af7
1 parent a3e6885
commit 4598af7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/ast/simplifiers/elim_unconstrained.cpp b/src/ast/simplifiers/elim_unconstrained.cpp
@@ -199,6 +199,8 @@ void elim_unconstrained::freeze(expr* t) {
         return;
     if (m_nodes.size() <= t->get_id())
         return;
+    if (m_nodes.size() <= root(t))
+        return;
     node& n = get_node(t);
     if (!n.m_term)
         return;