src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sat Aug 13 16:07:26 2011 +0200
+++ b/src/Pure/ROOT.ML	Sat Aug 13 20:20:36 2011 +0200
@@ -243,10 +243,10 @@
 use "Thy/thy_output.ML";
 use "Thy/thy_syntax.ML";
 use "Isar/outer_syntax.ML";
-use "PIDE/document.ML";
 use "Thy/present.ML";
 use "Thy/thy_load.ML";
 use "Thy/thy_info.ML";
+use "PIDE/document.ML";
 use "Thy/rail.ML";
 
 (*theory and proof operations*)