src/Pure/PIDE/query_operation.scala
changeset 56372 fadb0fef09d7
parent 56299 8201790fdeb9
child 56662 f373fb77e0a4
     1.1 --- a/src/Pure/PIDE/query_operation.scala	Wed Apr 02 18:35:07 2014 +0200
     1.2 +++ b/src/Pure/PIDE/query_operation.scala	Wed Apr 02 20:22:12 2014 +0200
     1.3 @@ -83,7 +83,7 @@
     1.4  
     1.5      val results =
     1.6        (for {
     1.7 -        (_, elem @ XML.Elem(Markup(Markup.RESULT, props), _)) <- command_results.entries
     1.8 +        (_, elem @ XML.Elem(Markup(Markup.RESULT, props), _)) <- command_results.iterator
     1.9          if props.contains((Markup.INSTANCE, instance))
    1.10        } yield elem).toList
    1.11