Correct arithmetic inequalities accidentally broken in f5d9a67.

Example: ?- X #>= Y. %@ clpz:(X#>=Y).
triska · Jan 7, 2024 · 2f783f0 · 2f783f0
1 parent 92b85d4
commit 2f783f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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) },