diff -r d4ce901f20c5 -r a6efad6acafd src/Pure/PIDE/command.scala
--- a/src/Pure/PIDE/command.scala	Sat Mar 14 21:16:29 2015 +0100
+++ b/src/Pure/PIDE/command.scala	Sun Mar 15 12:42:30 2015 +0100
@@ -349,12 +349,11 @@
     }
 
   def resolve_files(
-      resources: Resources,
-      syntax: Prover.Syntax,
-      node_name: Document.Node.Name,
-      span: Command_Span.Span,
-      get_blob: Document.Node.Name => Option[Document.Blob])
-    : (List[Command.Blob], Int) =
+    resources: Resources,
+    syntax: Prover.Syntax,
+    get_blob: Document.Node.Name => Option[Document.Blob],
+    node_name: Document.Node.Name,
+    span: Command_Span.Span): (List[Command.Blob], Int) =
   {
     val (files, index) = span_files(syntax, span)
     val blobs =