diff -r b7badd371e4d -r 3a35ce87a55c src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Fri Jul 05 22:09:16 2013 +0200
+++ b/src/Pure/ROOT.ML	Fri Jul 05 22:58:24 2013 +0200
@@ -256,6 +256,7 @@
 
 (*toplevel transactions*)
 use "Isar/proof_node.ML";
+use "PIDE/document_id.ML";
 use "Isar/toplevel.ML";
 
 (*theory documents*)
@@ -265,7 +266,6 @@
 use "Isar/outer_syntax.ML";
 use "General/graph_display.ML";
 use "Thy/present.ML";
-use "PIDE/document_id.ML";
 use "PIDE/command.ML";
 use "Thy/thy_load.ML";
 use "Thy/thy_info.ML";