src/Pure/PIDE/resources.scala
changeset 57906 020df63dd0a9
parent 57905 c0c5652e796e
child 57916 2c2c24dbf0a4
     1.1 --- a/src/Pure/PIDE/resources.scala	Tue Aug 12 00:08:32 2014 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Tue Aug 12 00:17:02 2014 +0200
     1.3 @@ -56,7 +56,7 @@
     1.4  
     1.5    def loaded_files(syntax: Prover.Syntax, text: String): List[String] =
     1.6      if (syntax.load_commands_in(text)) {
     1.7 -      val spans = syntax.parse_spans(syntax.scan(text))
     1.8 +      val spans = syntax.parse_spans(text)
     1.9        spans.iterator.map(Command_Span.span_files(syntax, _)).flatten.toList
    1.10      }
    1.11      else Nil