src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Fri Jul 05 14:09:06 2013 +0200
+++ b/src/Pure/ROOT.ML	Fri Jul 05 15:38:03 2013 +0200
@@ -265,6 +265,7 @@
 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";