src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Fri Apr 27 21:24:30 2012 +0200
+++ b/src/Pure/ROOT.ML	Fri Apr 27 21:44:44 2012 +0200
@@ -101,8 +101,8 @@
 use "name.ML";
 use "term.ML";
 use "context.ML";
+use "context_position.ML";
 use "config.ML";
-use "context_position.ML";
 
 
 (* inner syntax *)