Correct arithmetic inequalities accidentally broken in f5d9a67f3688ec9bb08dd3add05614...

Example:

    ?- X #>= Y.
    %@    clpz:(X#>=Y).

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 9ac737450095a3285469c7f93d56fe7fd9a91b20..35184c9cfe9889350a3c4b6f4b2cf552b039be45 100644 (file)
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -2759,7 +2759,7 @@ geq(A, B) -->
             (   { 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) },