From 7eef31e61878c62336bc8800f0a208abccc5bbf2 Mon Sep 17 00:00:00 2001
From: Imko Marijnissen <imko.marijnissen@gmail.com>
Date: Fri, 18 Sep 2026 07:53:16 +0200
Subject: [PATCH] fix: Update last traversed in nogood propagator

---
 .../core/src/propagators/nogoods/nogood_propagator.rs           | 2 ++
 1 file changed, 2 insertions(+)

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;
                         }