src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Jul 12 23:22:22 2011 +0200
+++ b/src/Pure/ROOT.ML	Wed Jul 13 10:57:09 2011 +0200
@@ -52,8 +52,8 @@
 use "General/graph.ML";
 use "General/linear_set.ML";
 use "General/buffer.ML";
+use "General/pretty.ML";
 use "General/xml.ML";
-use "General/pretty.ML";
 use "General/path.ML";
 use "General/url.ML";
 use "General/file.ML";