src/Pure/PIDE/resources.scala

--- a/src/Pure/PIDE/resources.scala	Tue Aug 12 00:08:32 2014 +0200
+++ b/src/Pure/PIDE/resources.scala	Tue Aug 12 00:17:02 2014 +0200
@@ -56,7 +56,7 @@
 
   def loaded_files(syntax: Prover.Syntax, text: String): List[String] =
     if (syntax.load_commands_in(text)) {
-      val spans = syntax.parse_spans(syntax.scan(text))
+      val spans = syntax.parse_spans(text)
       spans.iterator.map(Command_Span.span_files(syntax, _)).flatten.toList
     }
     else Nil