embedded commands ast into tacticals ast

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

diff --git a/helm/ocaml/cic_transformations/tacticAstPp.mli b/helm/ocaml/cic_transformations/tacticAstPp.mli
index f75e3f31709dbe2e8bedbaa9e049de82c894f556..356b07e76f6ca87e1a154c87024f3156d499ae12 100644 (file)
--- a/helm/ocaml/cic_transformations/tacticAstPp.mli
+++ b/helm/ocaml/cic_transformations/tacticAstPp.mli
@@ -25,7 +25,5 @@
 
 val pp_tactic: (CicAst.term, string) TacticAst.tactic -> string
 
-val pp_tactical:
-  (CicAst.term, string) TacticAst.tactic TacticAst.tactical ->
-    string
+val pp_tactical: (CicAst.term, string) TacticAst.tactical -> string