X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FgrafiteAstPp.mli;h=b8445095ff32ada3dcb419dab62d0920ce8f4f8b;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=bd7b23adb8b272268cd6a3cd254079e61cd30ec3;hpb=3065dd135001f868c677ee181d8a1fa3d498866a;p=helm.git

diff --git a/helm/ocaml/cic_notation/grafiteAstPp.mli b/helm/ocaml/cic_notation/grafiteAstPp.mli
index bd7b23adb..b8445095f 100644
--- a/helm/ocaml/cic_notation/grafiteAstPp.mli
+++ b/helm/ocaml/cic_notation/grafiteAstPp.mli
@@ -30,6 +30,7 @@ val pp_tactic:
 
 val pp_obj: GrafiteAst.obj -> string
 val pp_command: (CicNotationPt.term,GrafiteAst.obj) GrafiteAst.command -> string
+val pp_metadata: GrafiteAst.metadata -> string
 val pp_macro: ('a -> string) -> 'a GrafiteAst.macro -> string
 
 val pp_comment: