Skip to content

Commit

Permalink
a cheaper check
Browse files Browse the repository at this point in the history
  • Loading branch information
Eh2406 committed Jan 2, 2024
1 parent 50d7417 commit d3c8106
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/internal/core.rs
Original file line number Diff line number Diff line change
Expand Up @@ -131,7 +131,7 @@ impl<P: Package, VS: VersionSet, Priority: Ord + Clone> State<P, VS, Priority> {
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.
Expand Down

0 comments on commit d3c8106

Please sign in to comment.