remove redundant call to toplevel_list

CPMpy · Jul 6, 2023 · 025a072 · 025a072
1 parent 36b8df0
commit 025a072
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cpmpy/solvers/minizinc.py b/cpmpy/solvers/minizinc.py
@@ -393,7 +393,7 @@ def transform(self, cpm_expr):
                      "inverse", "ite" "xor", "table", "cumulative", "circuit", "gcc"}
         cpm_cons = decompose_in_tree(cpm_cons, supported)
 
-        return simplify_boolean(toplevel_list(cpm_cons))
+        return simplify_boolean(cpm_cons)
 
     def __add__(self, cpm_expr):
         """