Skip to content

Commit

Permalink
Update src/internal/core.rs
Browse files Browse the repository at this point in the history
Co-authored-by: Zanie Blue <[email protected]>
  • Loading branch information
konstin and zanieb authored Dec 12, 2024
1 parent 12140d7 commit 12d48d9
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 @@ -21,7 +21,7 @@ pub(crate) struct State<DP: DependencyProvider> {
#[allow(clippy::type_complexity)]
incompatibilities: Map<Id<DP::P>, Vec<IncompDpId<DP>>>,

/// As optimization, store the ids of incompatibilities that are already contradicted.
/// As an optimization, store the ids of incompatibilities that are already contradicted.
///
/// For each one keep track of the decision level when it was found to be contradicted.
/// These will stay contradicted until we have backtracked beyond its associated decision level.
Expand Down

0 comments on commit 12d48d9

Please sign in to comment.