Fixing this bug

msoos · Jul 13, 2024 · 4e1fc00 · 4e1fc00
1 parent 4e9ce38
commit 4e1fc00
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/occsimplifier.cpp b/src/occsimplifier.cpp
@@ -3299,7 +3299,7 @@ void OccSimplifier::rem_cls_from_watch_due_to_varelim(const Lit lit , bool add_t
 
             //Remove -- only FRAT the ones that are redundant
             //The irred will be removed thanks to 'elimed' system
-            unlink_clause(offset, cl.red(), true, true);
+            unlink_clause(offset, cl.red(), true, false);
         } else if (watch.isBin()) {
             //Update stats
             if (!watch.red()) {