From 3cd9b78e9cad9c87fa05492209ef90604cfaf039 Mon Sep 17 00:00:00 2001
From: Jeremy Apthorp <nornagon@nornagon.net>
Date: Wed, 5 Jun 2019 18:19:54 -0700
Subject: [PATCH] fix incorrect assignment of watchers to watcher lists

---
 src/main/java/kiwi/variable/IntVarImpl.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/java/kiwi/variable/IntVarImpl.java b/src/main/java/kiwi/variable/IntVarImpl.java
index 1588394..390b596 100644
--- a/src/main/java/kiwi/variable/IntVarImpl.java
+++ b/src/main/java/kiwi/variable/IntVarImpl.java
@@ -329,12 +329,12 @@ public void watchChange(Propagator propagator) {
 
   @Override
   public void watchAssign(Propagator propagator) {
-    boundsWatchers.push(propagator);
+    assignWatchers.push(propagator);
   }
 
   @Override
   public void watchBounds(Propagator propagator) {
-    changeWatchers.push(propagator);
+    boundsWatchers.push(propagator);
   }
 
   private void awakeAssign() {