mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
This commit is contained in:
parent
5619ed0586
commit
5942dc24bd
|
@ -36,8 +36,10 @@ namespace euf {
|
|||
}
|
||||
m_expr2enode.setx(f->get_id(), n, nullptr);
|
||||
push_node(n);
|
||||
for (unsigned i = 0; i < num_args; ++i)
|
||||
set_cgc_enabled(args[i], true);
|
||||
for (unsigned i = 0; i < num_args; ++i) {
|
||||
set_cgc_enabled(args[i], true);
|
||||
args[i]->get_root()->set_is_shared(l_undef);
|
||||
}
|
||||
return n;
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in a new issue