load args.ML later (after outer_parse.ML);
authorwenzelm
Sat, 09 Aug 2008 22:43:52 +0200
changeset 27810 b09f6fcc1f3d
parent 27809 a1e409db516b
child 27811 44bc67675210
load args.ML later (after outer_parse.ML);
src/Pure/Isar/ROOT.ML
--- 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";