X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FtacticAstPp.mli;h=fb9b45084ee7a584174ee0e2321b9c5a380a5ce1;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;hp=d4cae4405ed66550d4fb159e250d5499bcfce9c1;hpb=358cefe50cccd4cb7d8e2a9cecb7efcb5780b8a3;p=helm.git

diff --git a/helm/ocaml/cic_transformations/tacticAstPp.mli b/helm/ocaml/cic_transformations/tacticAstPp.mli
index d4cae4405..fb9b45084 100644
--- a/helm/ocaml/cic_transformations/tacticAstPp.mli
+++ b/helm/ocaml/cic_transformations/tacticAstPp.mli
@@ -35,3 +35,4 @@ val pp_macro_cic: Cic.term TacticAst.macro -> string
 val pp_tactical: (CicAst.term, string) TacticAst.tactical -> string
 val pp_alias: TacticAst.alias_spec -> string
 
+val pp_cic_command: (Cic.term,Cic.obj) TacticAst.command -> string