From 025a072267e7da170ab4a776ddc2734627a956b5 Mon Sep 17 00:00:00 2001
From: Dimos Tsouros <dimosts988@gmail.com>
Date: Thu, 6 Jul 2023 16:42:03 +0200
Subject: [PATCH] remove redundant call to toplevel_list

---
 cpmpy/solvers/minizinc.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cpmpy/solvers/minizinc.py b/cpmpy/solvers/minizinc.py
index e914acda2..2cb1557c2 100644
--- 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):
         """