From: Markus Triska <triska@metalevel.at>
Date: Sun, 7 Jan 2024 08:31:33 +0000 (+0100)
Subject: Correct arithmetic inequalities accidentally broken in f5d9a67f3688ec9bb08dd3add05614... 
X-Git-Tag: v0.9.4~39^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2f783f0aefc608164d0dfb9f8fd9d3204def95d6;p=scryer-prolog.git

Correct arithmetic inequalities accidentally broken in f5d9a67f3688ec9bb08dd3add05614552e082555.

Example:

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

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 9ac73745..35184c9c 100644
--- 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) },