diff --git a/cpmpy/solvers/choco.py b/cpmpy/solvers/choco.py index 32ddbb025..5bfc09084 100644 --- a/cpmpy/solvers/choco.py +++ b/cpmpy/solvers/choco.py @@ -343,7 +343,6 @@ def __add__(self, cpm_expr): """ # add new user vars to the set get_variables(cpm_expr, collect=self.user_vars) - # ensure all vars are known to solver # transform and post the constraints for con in self.transform(cpm_expr):