src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sun Aug 15 14:18:52 2010 +0200
+++ b/src/Pure/ROOT.ML	Sun Aug 15 18:41:23 2010 +0200
@@ -236,9 +236,9 @@
 use "Thy/term_style.ML";
 use "Thy/thy_output.ML";
 use "Thy/thy_syntax.ML";
-use "PIDE/document.ML";
 use "old_goals.ML";
 use "Isar/outer_syntax.ML";
+use "PIDE/document.ML";
 use "Thy/thy_info.ML";
 
 (*theory and proof operations*)