From eb575b9882822e15147b8438753bf9f0208312c6 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sat, 2 Dec 2023 22:33:56 +0100
Subject: [PATCH] support (#=)/3 and (#<)/3 also in the monotonic execution
 mode

---
 src/lib/clpz.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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).
-- 
2.54.0