src/Tools/jEdit/src/proofdocument/session.scala

--- a/src/Tools/jEdit/src/proofdocument/session.scala	Sun Jan 03 20:50:07 2010 +0100
+++ b/src/Tools/jEdit/src/proofdocument/session.scala	Sun Jan 03 23:03:04 2010 +0100
@@ -87,7 +87,7 @@
             })
       }
       register(doc)
-      prover.edit_document(change.parent.get.document.id, doc.id, id_changes)
+      prover.edit_document(change.parent.get.id, doc.id, id_changes)
     }