diff --git a/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala b/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
index 9c9dbd09e0bab37df15e4e4a3869c24e6189f1d2..b89713f944f7adc86290ac798b60f445a505fd65 100644
--- a/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
+++ b/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
@@ -314,13 +314,11 @@ trait AbstractZ3Solver
       }
 
       // Define stuff
-      val defs = for ((root, childrenList) <- newHierarchies) yield {
-        (
-         root.toString,
-         childrenList.map(ccd => ccd.id.uniqueName),
-         childrenList.map(ccd => ccd.fields.map(f => (f.id.uniqueName, typeToSortRef(f.getType))))
-        )
-      }
+      val defs = for ((root, childrenList) <- newHierarchies) yield {(
+        root.toString,
+        childrenList.map(ccd => ccd.id.uniqueName),
+        childrenList.map(ccd => ccd.fields.map(f => (f.id.uniqueName, typeToSortRef(f.getType))))
+      )}
       (defs, newHierarchies)
     }