mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
bugfix
This commit is contained in:
parent
1834bb5950
commit
e9797c3922
|
@ -1061,13 +1061,13 @@ lbool sls_engine::search_old() {
|
|||
}
|
||||
}
|
||||
}
|
||||
#endif
|
||||
|
||||
bailout:
|
||||
m_mpz_manager.del(new_value);
|
||||
|
||||
return res;
|
||||
}
|
||||
#endif
|
||||
|
||||
void sls_engine::operator()(goal_ref const & g, model_converter_ref & mc) {
|
||||
if (g->inconsistent()) {
|
||||
|
|
Loading…
Reference in a new issue