src/Pure/PIDE/document.scala
changeset 46997 395b7277ed76
parent 46944 9fc22eb6408c
child 47388 fe4b245af74c
     1.1 --- a/src/Pure/PIDE/document.scala	Sat Mar 17 17:36:10 2012 +0100
     1.2 +++ b/src/Pure/PIDE/document.scala	Sat Mar 17 17:44:29 2012 +0100
     1.3 @@ -467,7 +467,7 @@
     1.4        var execs1 = Map.empty[Exec_ID, Command.State]
     1.5        for {
     1.6          (version_id, version) <- versions1.iterator
     1.7 -        val command_execs = assignments1(version_id).command_execs
     1.8 +        command_execs = assignments1(version_id).command_execs
     1.9          (_, node) <- version.nodes.entries
    1.10          command <- node.commands.iterator
    1.11        } {