Merge pull request #2092 from triska/morphing_pexp

attach the propagator to Y
2023-10-09 15:05:59 -06:00
parent b149805b9e 1c3df1cdd7
commit 0ca2356be5
1 changed files with 1 additions and 1 deletions
--- 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) ->