# HG changeset patch
# User wenzelm
# Date 1218314632 -7200
# Node ID b09f6fcc1f3df65d380d06ed6a6964273ed161e0
# Parent  a1e409db516be29993314760d06215def7133cc6
load args.ML later (after outer_parse.ML);

diff -r a1e409db516b -r b09f6fcc1f3d 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";