remove line change

msoos · Mar 5, 2024 · be2c54b · be2c54b
1 parent 8988539
commit be2c54b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/clausecleaner.cpp b/src/clausecleaner.cpp
@@ -304,8 +304,7 @@ bool ClauseCleaner::clean_clause(Clause& cl)
         const auto orig_ID = cl.stats.ID;
         INC_ID(cl);
         cl.shrink(i-j);
-        (*solver->frat) << add << cl;
-        (*solver->frat) << chain << orig_ID;
+        (*solver->frat) << add << cl << chain << orig_ID;
         for(auto const& id: solver->chain) (*solver->frat) << id;
         (*solver->frat) << fin << findelay;
     } else {