From dc08c26d9f2fb7cd35696fe4e17949ea5d258904 Mon Sep 17 00:00:00 2001
From: notoria <notoria@users.noreply.github.com>
Date: Sat, 14 Oct 2023 16:10:31 +0200
Subject: [PATCH] Trigger propagator for (xor)/2

---
 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 771cd857..705ffeb7 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -3591,7 +3591,7 @@ parse_reified(E, R, D,
                m(A>>B)       => [function(D,>>,A,B,R)],
                m(A/\B)       => [function(D,/\,A,B,R)],
                m(A\/B)       => [function(D,\/,A,B,R)],
-               m(xor(A, B))  => [function(D,xor,A,B,R)],
+               m(xor(A, B))  => [skeleton(A,B,D,R,pxor)],
                g(true)       => [g(domain_error(clpz_expression, E))]]
              ).
 
-- 
2.54.0