src/Pure/ROOT.ML

--- 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";