src/Pure/ROOT.ML
changeset 50500 c94bba7906d2
parent 50498 6647ba2775c1
child 50686 d703e3aafa8c
--- a/src/Pure/ROOT.ML	Wed Dec 12 23:36:07 2012 +0100
+++ b/src/Pure/ROOT.ML	Thu Dec 13 13:52:18 2012 +0100
@@ -98,6 +98,8 @@
 use "Concurrent/mailbox.ML";
 use "Concurrent/cache.ML";
 
+use "PIDE/active.ML";
+
 
 (* fundamental structures *)
 
@@ -251,7 +253,6 @@
 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";