diff --git a/cpmpy/expressions/globalfunctions.py b/cpmpy/expressions/globalfunctions.py index c7cd4505b..73afd3d37 100644 --- a/cpmpy/expressions/globalfunctions.py +++ b/cpmpy/expressions/globalfunctions.py @@ -133,8 +133,7 @@ def decompose_comparison(self, cpm_op, cpm_rhs): """ from .python_builtins import any, all if cpm_op == "==": # can avoid creating aux var - return [any(x <= cpm_rhs for x in self.args), - all(x >= cpm_rhs for x in self.args)], [] + return [any(x <= cpm_rhs for x in self.args)], [all(x >= cpm_rhs for x in self.args)] lb, ub = self.get_bounds() _min = intvar(lb, ub)