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 6ee1b4608eafd4caa9132acef1314cf9a2ac848a..a20694d03b16fb8eb11493c94d6ebd030779ba72 100644 (file)
--- 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) } -> []