Fix typo in unsatisfiable (#11874)

This commit is contained in:
Charlie Marsh 2025-02-28 22:22:27 -05:00 committed by GitHub
parent 7acdbf6414
commit 3017b82ecc
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -470,7 +470,7 @@ impl InternerGuard<'_> {
.children
.nodes()
.all(|y| self.disjointness(y.negate(yi), xi)),
// X and Y represent the same variable, their merged edges must be unsatisifiable.
// X and Y represent the same variable, their merged edges must be unsatisfiable.
Ordering::Equal => x.children.is_disjoint(xi, &y.children, yi, self),
}
}
@ -514,7 +514,7 @@ impl InternerGuard<'_> {
.children
.nodes()
.all(|y| self.disjointness(y.negate(yi), xi)),
// X and Y represent the same variable, their merged edges must be unsatisifiable.
// X and Y represent the same variable, their merged edges must be unsatisfiable.
Ordering::Equal => x.children.is_disjoint(xi, &y.children, yi, self),
}
}