1.1 --- a/src/Pure/Isar/outer_syntax.ML	Mon Aug 20 13:58:06 2012 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Mon Aug 20 14:09:09 2012 +0200
     1.3 @@ -139,7 +139,7 @@
     1.4      val _ =
     1.5        (case try (Thy_Header.the_keyword thy) name of
     1.6          SOME spec =>
     1.7 -          if Option.map #1 spec = SOME (Keyword.kind_of kind) then ()
     1.8 +          if Option.map #1 spec = SOME (Keyword.kind_files_of kind) then ()
     1.9            else error ("Inconsistent outer syntax keyword declaration " ^
    1.10              quote name ^ Position.str_of pos)
    1.11        | NONE =>