src/Pure/ROOT.ML
changeset 58903 38c72f5f6c2e
parent 58846 98c03412079b
child 58928 23d0ffd48006
--- a/src/Pure/ROOT.ML	Wed Nov 05 20:05:32 2014 +0100
+++ b/src/Pure/ROOT.ML	Wed Nov 05 20:20:57 2014 +0100
@@ -230,8 +230,8 @@
 use "Isar/local_defs.ML";
 
 (*outer syntax*)
+use "Isar/keyword.ML";
 use "Isar/token.ML";
-use "Isar/keyword.ML";
 use "Isar/parse.ML";
 use "Isar/args.ML";