changeset 59683 | d6824d8490be |
parent 57917 | 8ce97e5d545f |
child 59689 | 7968c57ea240 |
--- a/src/Pure/PIDE/resources.scala Thu Mar 12 14:58:32 2015 +0100 +++ b/src/Pure/PIDE/resources.scala Thu Mar 12 16:47:47 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, _)).flatten.toList + spans.iterator.map(Command_Span.span_files(syntax, _)._1).flatten.toList } else Nil