changeset 66301 | 8a6a89d6cf2b |
parent 64927 | a5a09855e424 |
--- a/src/Tools/Argo/argo_rewr.ML Mon Jul 31 15:38:21 2017 +0100 +++ b/src/Tools/Argo/argo_rewr.ML Tue Aug 01 07:26:23 2017 +0200 @@ -55,7 +55,7 @@ fun on_args f (Argo_Expr.E (k, es)) = let val (es, cs) = split_list (f es) - in (Argo_Expr.E (k, es), Argo_Proof.mk_args_conv cs) end + in (Argo_Expr.E (k, es), Argo_Proof.mk_args_conv k cs) end fun args cv e = on_args (map cv) e