mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-22 08:17:37 +00:00
Code Activity

Update expr_safe_replace.cpp

Browse source
This commit is contained in:
Nuno Lopes 2024-12-18 09:34:16 +00:00 • committed by GitHub
parent 0429c7002e
commit 7153a65e74
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/rewriter/expr_safe_replace.cpp
View file

@ -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);