From 2f783f0aefc608164d0dfb9f8fd9d3204def95d6 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sun, 7 Jan 2024 09:31:33 +0100
Subject: [PATCH] Correct arithmetic inequalities accidentally broken in
 f5d9a67f3688ec9bb08dd3add05614552e082555.

Example:

    ?- X #>= Y.
    %@    clpz:(X#>=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 9ac737450..35184c9cf 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -2759,7 +2759,7 @@
             (   { fd_get(B, BD, _) } ->
                 { domain_supremum(BD, BS) },
                 (   { AI cis_geq BS } -> true
-                ;   propagator_init_trigger(pgeq(A,B))
+                ;   { propagator_init_trigger(pgeq(A,B)) }
                 )
             ;   (   { AI cis_geq n(B) } -> true
                 ;   { domain_remove_smaller_than(AD, B, AD1) },