diff --git a/src/math/polysat/simplify_clause.cpp b/src/math/polysat/simplify_clause.cpp
index 1d45c6fd8..6fbc7aaa6 100644
--- a/src/math/polysat/simplify_clause.cpp
+++ b/src/math/polysat/simplify_clause.cpp
@@ -262,6 +262,7 @@ namespace polysat {
 
     void simplify_clause::prepare_subs_entry(subs_entry& entry, signed_constraint c) {
         entry.valid = false;
+        entry.fi_record::reset();
         if (!c->is_ule())
             return;
         forbidden_intervals fi(s);