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 3, 2024
1 parent f1c9dcf commit 4c0c646
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 4c0c646

Please sign in to comment.