src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Jul 11 10:27:50 2011 +0200
+++ b/src/Pure/ROOT.ML	Mon Jul 11 11:13:33 2011 +0200
@@ -27,9 +27,9 @@
 if Multithreading.available then ()
 else use "Concurrent/synchronized_sequential.ML";
 
+use "General/properties.ML";
 use "General/output.ML";
 use "General/timing.ML";
-use "General/properties.ML";
 use "General/markup.ML";
 use "General/scan.ML";
 use "General/source.ML";