Merge pull request #2277 from triska/master

Correct arithmetic disequalities accidentally broken in f5d9a67f36
2024-01-07 18:59:18 -07:00
parent 92b85d4ba6 2f783f0aef
commit 7b8c8fdda7
1 changed files with 1 additions and 1 deletions
--- 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) },