--- 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 =