diff --git a/pumpkin-crates/core/src/propagators/nogoods/nogood_propagator.rs b/pumpkin-crates/core/src/propagators/nogoods/nogood_propagator.rs index 7f0b85fa5..f4f762f3f 100644 --- a/pumpkin-crates/core/src/propagators/nogoods/nogood_propagator.rs +++ b/pumpkin-crates/core/src/propagators/nogoods/nogood_propagator.rs @@ -430,6 +430,8 @@ impl Propagator for NogoodPropagator { &mut self.watch_lists, ); + *last_traversed_watcher = i as u32; + // No propagation is taking place, go to the next nogood. break; }