From ea116aa398b8d745f2b411fa038fb26b0146a2bf Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 29 Jun 2015 14:50:16 +0200
Subject: [PATCH] Fix style
---
src/main/scala/leon/purescala/DefOps.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/DefOps.scala b/src/main/scala/leon/purescala/DefOps.scala
index 881a491f7..e7acc9a42 100644
--- a/src/main/scala/leon/purescala/DefOps.scala
+++ b/src/main/scala/leon/purescala/DefOps.scala
@@ -22,7 +22,7 @@ object DefOps {
case other => pgm.units.find(_.containsDef(df))
}
- private def pathFromRoot(df: Definition)(implicit pgm: Program): List[Definition] ={
+ private def pathFromRoot(df: Definition)(implicit pgm: Program): List[Definition] = {
def rec(from: Definition): List[Definition] = {
from :: (if (from == df) {
Nil
--
GitLab