fix a compile error

shnarazk · Oct 2, 2024 · 517efab · 517efab
1 parent c1eccd8
commit 517efab
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/cdb/mod.rs b/src/cdb/mod.rs
@@ -527,7 +527,6 @@ impl ClauseDBIF for ClauseDB {
         if 1 < rank {
             self.lb_entanglement.update(rank as f64);
         }
-        learnt
     }
     /// reduce the number of 'learnt' or *removable* clauses.
     #[cfg(feature = "keep_just_used_clauses")]