From 1c3df1cdd7e2cbdaa897d63b9dbd0edf5bcbb0b4 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Mon, 9 Oct 2023 21:55:11 +0200
Subject: [PATCH] attach the propagator to Y

---
 src/lib/clpz.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index d4e59d45..ec299350 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -5443,7 +5443,7 @@ run_propagator(pexp(X,Y,Z,Morph), MState) -->
             kill(MState),
             queue_goal((Z in 0..1, Y #>= 0)),
             { make_propagator(reified_eq(1,Y,1,0,[],Z), Morph) },
-            init_propagator_([X,Z], Morph)
+            init_propagator_([Y,Z], Morph)
         ;   Y == 0 -> kill(MState), Z = 1
         ;   Y == 1 -> kill(MState), Z = X
         ;   nonvar(X) ->
-- 
2.54.0