transformations no longer use Content_expression, but rather CicAst

[helm.git] / helm / ocaml / cic_transformations / tacticAst2Box.mli

diff --git a/helm/ocaml/cic_transformations/tacticAst2Box.mli b/helm/ocaml/cic_transformations/tacticAst2Box.mli
index 0eeef6c533a676777ac64632721d30f9987884d6..f9daa42705b1592b5e6b2e17ec00a6ed84371d33 100644 (file)
--- 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