src/Pure/PIDE/resources.scala

--- a/src/Pure/PIDE/resources.scala	Fri Mar 13 12:44:16 2015 +0100
+++ b/src/Pure/PIDE/resources.scala	Fri Mar 13 12:58:49 2015 +0100
@@ -57,7 +57,7 @@
   def loaded_files(syntax: Prover.Syntax, text: String): List[String] =
     if (syntax.load_commands_in(text)) {
       val spans = syntax.parse_spans(text)
-      spans.iterator.map(Command_Span.span_files(syntax, _)._1).flatten.toList
+      spans.iterator.map(Command.span_files(syntax, _)._1).flatten.toList
     }
     else Nil