diff --git a/src/main/scala/leon/purescala/DefOps.scala b/src/main/scala/leon/purescala/DefOps.scala index 881a491f7074abbf6a183dca288ae2ba7eaf0ffa..e7acc9a42f34f3b014ded101a86484d8747cac83 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