make SML/NJ happy;
authorwenzelm
Thu Apr 16 23:01:33 2015 +0200 (2015-04-16)
changeset 60102820e8e704ba6
parent 60101 f5c4b49c8c9a
child 60103 d6b043ad7b3d
make SML/NJ happy;
src/HOL/Library/rewrite.ML
     1.1 --- a/src/HOL/Library/rewrite.ML	Thu Apr 16 20:54:01 2015 +0200
     1.2 +++ b/src/HOL/Library/rewrite.ML	Thu Apr 16 23:01:33 2015 +0200
     1.3 @@ -130,8 +130,8 @@
     1.4  
     1.5  in
     1.6  
     1.7 -val ft_arg = ft_arg_gen arg_rewr_cconv
     1.8 -val ft_imp = ft_arg_gen imp_rewr_cconv
     1.9 +fun ft_arg ctxt = ft_arg_gen arg_rewr_cconv ctxt
    1.10 +fun ft_imp ctxt = ft_arg_gen imp_rewr_cconv ctxt
    1.11  
    1.12  end
    1.13