changeset 48864 | 3ee314ae1e0a |
parent 48771 | 2ea997196d04 |
child 48918 | 6e5fd4585512 |
--- a/src/Pure/Isar/outer_syntax.ML Mon Aug 20 13:58:06 2012 +0200 +++ b/src/Pure/Isar/outer_syntax.ML Mon Aug 20 14:09:09 2012 +0200 @@ -139,7 +139,7 @@ val _ = (case try (Thy_Header.the_keyword thy) name of SOME spec => - if Option.map #1 spec = SOME (Keyword.kind_of kind) then () + if Option.map #1 spec = SOME (Keyword.kind_files_of kind) then () else error ("Inconsistent outer syntax keyword declaration " ^ quote name ^ Position.str_of pos) | NONE =>