src/Pure/PIDE/resources.scala
changeset 59683 d6824d8490be
parent 57917 8ce97e5d545f
child 59689 7968c57ea240
     1.1 --- a/src/Pure/PIDE/resources.scala	Thu Mar 12 14:58:32 2015 +0100
     1.2 +++ b/src/Pure/PIDE/resources.scala	Thu Mar 12 16:47:47 2015 +0100
     1.3 @@ -57,7 +57,7 @@
     1.4    def loaded_files(syntax: Prover.Syntax, text: String): List[String] =
     1.5      if (syntax.load_commands_in(text)) {
     1.6        val spans = syntax.parse_spans(text)
     1.7 -      spans.iterator.map(Command_Span.span_files(syntax, _)).flatten.toList
     1.8 +      spans.iterator.map(Command_Span.span_files(syntax, _)._1).flatten.toList
     1.9      }
    1.10      else Nil
    1.11