--- a/src/Pure/Isar/ROOT.ML Sat Aug 09 22:43:46 2008 +0200
+++ b/src/Pure/Isar/ROOT.ML Sat Aug 09 22:43:52 2008 +0200
@@ -21,9 +21,9 @@
(*outer syntax*)
use "outer_lex.ML";
-use "args.ML";
use "outer_parse.ML";
use "outer_keyword.ML";
+use "args.ML";
use "antiquote.ML";
use "../ML/ml_context.ML";