From f26e8e06e82a160896bd0e08c81ca4161ea95104 Mon Sep 17 00:00:00 2001 From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch> Date: Fri, 18 Mar 2016 17:19:04 +0100 Subject: [PATCH] Small improvement --- src/main/scala/leon/purescala/ExprOps.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scala/leon/purescala/ExprOps.scala b/src/main/scala/leon/purescala/ExprOps.scala index 1d1b03ff9..ab6a848df 100644 --- a/src/main/scala/leon/purescala/ExprOps.scala +++ b/src/main/scala/leon/purescala/ExprOps.scala @@ -192,7 +192,7 @@ object ExprOps extends { val Deconstructor = Operator } with GenTreeOps[Expr] { /** Computes the depth of the expression's tree */ def depth(e: Expr): Int = { - fold[Int]{ (e, sub) => 1 + (0 +: sub).max }(e) + fold[Int]{ (_, sub) => 1 + (0 +: sub).max }(e) } /** Applies the function to the I/O constraint and simplifies the resulting constraint */ -- GitLab