From 7153a65e74aae9c7f64d1aa9bacad0f8b07930f5 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Wed, 18 Dec 2024 09:34:16 +0000 Subject: [PATCH] Update expr_safe_replace.cpp --- src/ast/rewriter/expr_safe_replace.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/rewriter/expr_safe_replace.cpp b/src/ast/rewriter/expr_safe_replace.cpp index 257c3fc6c..64a01e9b9 100644 --- a/src/ast/rewriter/expr_safe_replace.cpp +++ b/src/ast/rewriter/expr_safe_replace.cpp @@ -175,7 +175,7 @@ void expr_safe_replace::operator()(expr* e, expr_ref& res) { for (unsigned i = 0, e = m_src.size(); i < e; ++i) { m_args[to_var(replace.m_src.get(i))->get_idx()] = replace.m_dst.get(i); } - var_subst subst(m); + var_subst subst(m, false); new_body = subst(q->get_expr(), m_args); } else { replace(q->get_expr(), new_body);