mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
This commit is contained in:
parent
5c9f4dc4d7
commit
b3db9a1cd5
|
@ -238,6 +238,8 @@ private:
|
|||
}
|
||||
}
|
||||
else {
|
||||
if (!is_uninterp_const(fst_arg))
|
||||
return false;
|
||||
bool first = true;
|
||||
for (expr* arg : *a) {
|
||||
if (!is_app(arg))
|
||||
|
|
Loading…
Reference in a new issue