Split long line

viperproject · Apr 28, 2022 · bb8f21d · bb8f21d
1 parent 2e59120
commit bb8f21d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/main/scala/viper/gobra/ast/internal/transform/CGEdgesTerminationTransform.scala b/src/main/scala/viper/gobra/ast/internal/transform/CGEdgesTerminationTransform.scala
@@ -65,7 +65,8 @@ object CGEdgesTerminationTransform extends InternalTransform {
                                 in.MethodCall(
                                   m.results map parameterAsLocalValVar,
                                   in.TypeAssertion(m.receiver, t)(src),
-                                  implProxy, m.args)(src),
+                                  implProxy, m.args
+                                )(src),
                                 in.Return()(src)
                               ))(src),
                               in.Seqn(Vector())(src)