diff -r 6f3ccfa7818d -r a2df77fcf1eb src/Pure/PIDE/document.scala
--- a/src/Pure/PIDE/document.scala	Fri Aug 24 19:35:44 2012 +0200
+++ b/src/Pure/PIDE/document.scala	Fri Aug 24 20:41:47 2012 +0200
@@ -283,6 +283,7 @@
   {
     val state: State
     val version: Version
+    val node_name: Node.Name
     val node: Node
     val is_outdated: Boolean
     def convert(i: Text.Offset): Text.Offset
@@ -493,6 +494,7 @@
       {
         val state = State.this
         val version = stable.version.get_finished
+        val node_name = name
         val node = version.nodes(name)
         val is_outdated = !(pending_edits.isEmpty && latest == stable)