From 4598af70c823f741ed12186aa1273bf6febc7a45 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 12 Dec 2022 11:04:46 -0800
Subject: [PATCH] fix #6488
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/ast/simplifiers/elim_unconstrained.cpp | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/ast/simplifiers/elim_unconstrained.cpp b/src/ast/simplifiers/elim_unconstrained.cpp
index a6acd7260..b3f833a78 100644
--- 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;