From: Markus Triska <triska@metalevel.at>
Date: Sat, 2 Dec 2023 21:33:56 +0000 (+0100)
Subject: support (#=)/3 and (#<)/3 also in the monotonic execution mode
X-Git-Tag: v0.9.4~90^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=eb575b9882822e15147b8438753bf9f0208312c6;p=scryer-prolog.git

support (#=)/3 and (#<)/3 also in the monotonic execution mode
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index f766771a..23c909e9 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -7968,11 +7968,11 @@ coeff_var_term(C-V, T) :- ( C =:= 1 -> T = #V ; T = C * #V ).
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 
 #=(X, Y, T) :-
-        X #= Y #<==> B,
+        X #= Y #<==> #B,
         zo_t(B, T).
 
 #<(X, Y, T) :-
-        X #< Y #<==> B,
+        X #< Y #<==> #B,
         zo_t(B, T).
 
 zo_t(0, false).