Fixed a silly error. This commit should be squashed with the previous...

Fixed a silly error. This commit should be squashed with the previous introducing mistake if possible.

src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala

@@ -548,7 +548,7 @@ trait AbstractZ3Solver extends Solver {
   protected[leon] def fromZ3Formula(model: Z3Model, tree: Z3AST, tpe: TypeTree): Expr = {
 
     def rec(t: Z3AST, tpe: TypeTree): Expr = {
-      val kind = z3.getASTKind(t))
+      val kind = z3.getASTKind(t)
       kind match {
         case Z3NumeralIntAST(Some(v)) => {
           val leading = t.toString.substring(0, 2 min t.toString.length)