X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FtacticAst2Box.mli;h=f9daa42705b1592b5e6b2e17ec00a6ed84371d33;hb=6912a028bef118d8e9d7c2847200510a9b055c6a;hp=36eeb3e73f654fb2fab8dccdfd742b954a9137bd;hpb=9766d606b71ec69594919ca34b067e268afeabf0;p=helm.git

diff --git a/helm/ocaml/cic_transformations/tacticAst2Box.mli b/helm/ocaml/cic_transformations/tacticAst2Box.mli
index 36eeb3e73..f9daa4270 100644
--- a/helm/ocaml/cic_transformations/tacticAst2Box.mli
+++ b/helm/ocaml/cic_transformations/tacticAst2Box.mli
@@ -34,9 +34,8 @@
 
 
 val tactical2box:
-  ?attr:'a list 
-  -> (CicAst.term, string) TacticAst.tactic TacticAst.tactical 
-  -> CicAst.term Box.box
+  (CicAst.term, string) TacticAst.tactical ->
+    CicAst.term Box.box
+
+val tacticalPp: (CicAst.term, string) TacticAst.tactical -> string
 
-val tacticalPp:
-  (CicAst.term, string) TacticAst.tactic TacticAst.tactical -> string