Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
make SML/NJ happy;
authorwenzelm
Fri, 17 Apr 2015 19:01:42 +0200
changeset 60122 eb08fefd5c05
parent 60121 fd66c0f65c23
child 60123 d990db067a3d
make SML/NJ happy;
src/HOL/Library/rewrite.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/rewrite.ML	Fri Apr 17 18:02:32 2015 +0200
+++ b/src/HOL/Library/rewrite.ML	Fri Apr 17 19:01:42 2015 +0200
@@ -152,8 +152,8 @@
 
 in
 
-val arg_pconv = arg_pconv_gen CConv.arg_cconv
-val imp_pconv = arg_pconv_gen (CConv.concl_cconv 1)
+fun arg_pconv ctxt = arg_pconv_gen CConv.arg_cconv ctxt
+fun imp_pconv ctxt = arg_pconv_gen (CConv.concl_cconv 1) ctxt
 
 end
isabelle