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/Thy/thy_header.ML
changeset 58924 b48bbd380d59
parent 58920 2f8168dc0eac
child 58928 23d0ffd48006 
--- a/src/Pure/Thy/thy_header.ML	Thu Nov 06 15:47:04 2014 +0100
+++ b/src/Pure/Thy/thy_header.ML	Thu Nov 06 16:10:33 2014 +0100
@@ -38,7 +38,7 @@
 (** keyword declarations **)
 
 fun define_keywords (keywords: keywords) =
-  List.app (Keyword.define o apsnd (Option.map Keyword.spec)) keywords;
+  List.app (Keyword.define o apsnd (Option.map Keyword.check_spec)) keywords;
 
 fun err_dup name = error ("Duplicate declaration of outer syntax keyword " ^ quote name);
 
@@ -52,7 +52,7 @@
 
 fun declare_keyword (name, spec) =
   Data.map (fn data =>
-    (Option.map Keyword.spec spec;
+    (Option.map Keyword.check_spec spec;
       Symtab.update_new (name, spec) data handle Symtab.DUP dup => err_dup dup));
 
 fun the_keyword thy name =
isabelle