use (#)/1

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 4871851b5c4cb659df52d1fc185e445ad83c6a52..de522ab6e2be0425090edbdcefd08d572d562ce1 100644 (file)
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -2310,7 +2310,7 @@ single_value(V, V)    :- var(V), !, non_monotonic(V).
 single_value(V, V)    :- integer(V).
 single_value(?(V), V) :- fd_variable(V).
 
-coeff_var_plusterm(C, V, T0, T0+(C* ?(V))).
+coeff_var_plusterm(C, V, T0, T0+(C* #V)).
 
 coeff_int_linsum(C, I, S0, S) :- S is S0 + C*I.