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() {