diff --git a/src/internal/core.rs b/src/internal/core.rs index 7ed2218c..2f47555a 100644 --- a/src/internal/core.rs +++ b/src/internal/core.rs @@ -131,7 +131,7 @@ impl State { break; } Relation::AlmostSatisfied(package_almost) => { - if !self.unit_propagation_buffer.contains(&package_almost) { + if self.unit_propagation_buffer.last() != Some(&package_almost) { self.unit_propagation_buffer.push(package_almost.clone()); } // Add (not term) to the partial solution with incompat as cause.