From 8a87ef1cb4b31b49410aa23b7f32c44d236add1f Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 19 May 2015 14:06:20 +0200
Subject: [PATCH] Fix identation
---
.../scala/leon/solvers/z3/AbstractZ3Solver.scala | 12 +++++-------
1 file changed, 5 insertions(+), 7 deletions(-)
diff --git a/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala b/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
index 9c9dbd09e..b89713f94 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)
}
--
GitLab