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

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index f766771a9a170e879a22525808d10629524e12d5..23c909e9cb3bbdf1831446e3f98cb7b29e8ae1af 100644 (file)
--- 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).