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/Tools/Code/code_target.ML
changeset 31957 a9742afd403e
parent 31775 2b04504fcb69
child 32740 9dd0a2f83429 
--- a/src/Tools/Code/code_target.ML	Tue Jul 07 17:21:26 2009 +0200
+++ b/src/Tools/Code/code_target.ML	Tue Jul 07 17:21:27 2009 +0200
@@ -286,7 +286,7 @@
 fun gen_add_syntax_const prep_const target raw_c raw_syn thy =
   let
     val c = prep_const thy raw_c;
-    fun check_args (syntax as (n, _)) = if n > Code.no_args thy c
+    fun check_args (syntax as (n, _)) = if n > Code.args_number thy c
       then error ("Too many arguments in syntax for constant " ^ quote c)
       else syntax;
   in case raw_syn
isabelle