From: Markus Triska <triska@metalevel.at>
Date: Tue, 23 Jan 2024 20:40:50 +0000 (+0100)
Subject: no longer use (->)//2, since it is implementation defined
X-Git-Tag: v0.9.4~22^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=665f319a0ecef09ee01f608b4a6efbf28746c65a;p=scryer-prolog.git

no longer use (->)//2, since it is implementation defined

This addresses #2304.
---

diff --git a/src/lib/clpb.pl b/src/lib/clpb.pl
index 6ee1b460..a20694d0 100644
--- a/src/lib/clpb.pl
+++ b/src/lib/clpb.pl
@@ -1251,7 +1251,7 @@ bdd_restriction_(Node, VI, Value, Res) -->
                   node_id(Node, ID) },
                 (   { I0 =:= VI } ->
                     (   { Value =:= 0 } -> { Res = Low }
-                    ;   { Value =:= 1 } -> { Res = High }
+                    ;   { Res = High }
                     )
                 ;   { I0 > VI } -> { Res = Node }
                 ;   state(G0), { get_assoc(ID, G0, Res) } -> []