mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
parent
96d0781c9d
commit
b2d590e0c9
|
@ -2088,6 +2088,7 @@ namespace smt {
|
|||
if (p->get_decl() == f &&
|
||||
m_context.is_relevant(p) &&
|
||||
p->is_cgr() &&
|
||||
i < p->get_num_args() &&
|
||||
p->get_arg(i)->get_root() == n) {
|
||||
v->push_back(p);
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue