X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FtacticAst2Box.mli;fp=helm%2Focaml%2Fcic_transformations%2FtacticAst2Box.mli;h=f9daa42705b1592b5e6b2e17ec00a6ed84371d33;hb=29969baf115afff7eb9ea9e2ca98d40ab7006dcc;hp=0eeef6c533a676777ac64632721d30f9987884d6;hpb=844c8ec10832e5b03456b622db240e18ce014a57;p=helm.git diff --git a/helm/ocaml/cic_transformations/tacticAst2Box.mli b/helm/ocaml/cic_transformations/tacticAst2Box.mli index 0eeef6c53..f9daa4270 100644 --- a/helm/ocaml/cic_transformations/tacticAst2Box.mli +++ b/helm/ocaml/cic_transformations/tacticAst2Box.mli @@ -34,7 +34,7 @@ val tactical2box: - ?attr:'a list -> (CicAst.term, string) TacticAst.tactical -> + (CicAst.term, string) TacticAst.tactical -> CicAst.term Box.box val tacticalPp: (CicAst.term, string) TacticAst.tactical -> string