mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
parent
a39d1c6188
commit
ed3f8a52e6
|
@ -226,6 +226,9 @@ namespace fpa {
|
|||
add_unit(eq_internalize(wrapped, cc_args));
|
||||
add_units(mk_side_conditions());
|
||||
}
|
||||
else if (m.is_ite(n)) {
|
||||
// pass
|
||||
}
|
||||
else
|
||||
add_unit(eq_internalize(m_converter.unwrap(wrapped, n->get_sort()), n));
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue