src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Dec 12 19:03:49 2012 +0100
+++ b/src/Pure/ROOT.ML	Wed Dec 12 21:50:42 2012 +0100
@@ -63,7 +63,6 @@
 
 use "PIDE/xml.ML";
 use "PIDE/yxml.ML";
-use "PIDE/active.ML";
 
 use "General/graph.ML";
 
@@ -252,6 +251,7 @@
 use "Thy/term_style.ML";
 use "Thy/thy_output.ML";
 use "Thy/thy_syntax.ML";
+use "PIDE/active.ML";
 use "PIDE/command.ML";
 use "Isar/outer_syntax.ML";
 use "General/graph_display.ML";