Formatting

anqili426 · Apr 28, 2017 · 048610f · 048610f
1 parent 237230e
commit 048610f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/viper/silver/ast/Ast.scala b/src/main/scala/viper/silver/ast/Ast.scala
@@ -106,7 +106,7 @@ trait Node extends Traversable[Node] with Rewritable {
   /** @see [[viper.silver.ast.utility.ViperStrategy]] */
   def transform(pre: PartialFunction[Node, Node] = PartialFunction.empty,
                 recurse: Traverse = Traverse.Innermost)
-  : this.type =
+               : this.type =
 
   StrategyBuilder.Slim[Node](pre, recurse) execute[this.type] (this)