From f213956ceb76a56f5353db754ff57815909570dc Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 11 Jan 2023 17:23:53 +0100 Subject: [PATCH] use (#)/1 --- src/lib/clpz.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index 4871851b..de522ab6 100644 --- 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. -- 2.54.0