From 665f319a0ecef09ee01f608b4a6efbf28746c65a Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Tue, 23 Jan 2024 21:40:50 +0100
Subject: [PATCH] no longer use (->)//2, since it is implementation defined

This addresses #2304.
---
 src/lib/clpb.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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) } -> []
-- 
2.54.0