mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
parent
f34317d604
commit
539d44464f
|
@ -265,7 +265,8 @@ namespace array {
|
|||
args1.push_back(e1);
|
||||
args2.push_back(e2);
|
||||
for (func_decl* f : funcs) {
|
||||
expr* k = m.mk_app(f, e1, e2);
|
||||
expr_ref k(m.mk_app(f, e1, e2), m);
|
||||
rewrite(k);
|
||||
args1.push_back(k);
|
||||
args2.push_back(k);
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue