mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-25 15:23:41 +00:00
Code Activity

fix

Browse source
This commit is contained in:
Jakob Rath 2023-08-03 14:48:42 +02:00
parent 13f000942a
commit d42d253068
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/math/polysat/simplify_clause.cpp
View file

@ -262,6 +262,7 @@ namespace polysat {
void simplify_clause::prepare_subs_entry(subs_entry& entry, signed_constraint c) { void simplify_clause::prepare_subs_entry(subs_entry& entry, signed_constraint c) {
entry.valid = false; entry.valid = false;
entry.fi_record::reset();
if (!c->is_ule()) if (!c->is_ule())
return; return;
forbidden_intervals fi(s); forbidden_intervals fi(s);