mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
fix #6914
This commit is contained in:
parent
30d1800c31
commit
eea9c0bec6
|
@ -574,9 +574,9 @@ namespace smt {
|
|||
to_delete.push_back(n);
|
||||
}
|
||||
}
|
||||
for (expr* e : to_delete) {
|
||||
for (expr* e : to_delete)
|
||||
s->remove(e);
|
||||
}
|
||||
reset_eval_cache();
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue