Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/outer_syntax.ML
changeset 47014 e203b7d7e08d
parent 46970 9667e0dcb5e2
child 47416 df8fc0567a3d 
--- a/src/Pure/Isar/outer_syntax.ML	Mon Mar 19 15:56:27 2012 +0100
+++ b/src/Pure/Isar/outer_syntax.ML	Mon Mar 19 18:18:42 2012 +0100
@@ -130,7 +130,7 @@
     val _ =
       (case try (Thy_Header.the_keyword thy) name of
         SOME spec =>
-          if Option.map Keyword.spec spec = SOME kind then ()
+          if Option.map #1 spec = SOME (Keyword.kind_of kind) then ()
           else error ("Inconsistent outer syntax keyword declaration " ^ quote name)
       | NONE =>
           if Context.theory_name thy = Context.PureN
isabelle