From d42d253068cd0fa840227f6f592b635deb9eeeeb Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Thu, 3 Aug 2023 14:48:42 +0200
Subject: [PATCH] fix

---
 src/math/polysat/simplify_clause.cpp | 1 +
 1 file changed, 1 insertion(+)

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);