Fix ignore condition for notification about equality lit propagation

Dekker1 · Dekker1 · commit 3bd5f8815614 · 2025-02-26T14:47:57.000+11:00
diff --git a/crates/huub/src/solver/engine.rs b/crates/huub/src/solver/engine.rs
@@ -415,7 +415,7 @@ impl State {
 			// Enact domain changes and determine change event
 			let event: IntEvent = match meaning {
 				IntLitMeaning::Eq(i) => {
-					if i == lb || i == ub {
+					if i == lb && i == ub {
 						return None;
 					}
 					if i < lb || i > ub {

Original file line number	Diff line number	Diff line change
`@@ -415,7 +415,7 @@ impl State {`
`415`	`415`	`// Enact domain changes and determine change event`
`416`	`416`	`let event: IntEvent = match meaning {`
`417`	`417`	`IntLitMeaning::Eq(i) => {`
`418`		`- if i == lb \|\| i == ub {`
	`418`	`+ if i == lb && i == ub {`
`419`	`419`	`return None;`
`420`	`420`	`}`
`421`	`421`	`if i < lb \|\| i > ub {`