added a minimal parser to extract informations relevant to dependencies calculation

[helm.git] / helm / ocaml / cic_notation / grafiteAstPp.mli

diff --git a/helm/ocaml/cic_notation/grafiteAstPp.mli b/helm/ocaml/cic_notation/grafiteAstPp.mli
index ad6c26db1a5779b9eb6c6971ff64535b3defc038..bf4d2cdab41dfbe2847a5c42f99da1e4ce16bb51 100644 (file)
--- a/helm/ocaml/cic_notation/grafiteAstPp.mli
+++ b/helm/ocaml/cic_notation/grafiteAstPp.mli
@@ -62,3 +62,6 @@ val pp_alias: GrafiteAst.alias_spec -> string
 
 val pp_cic_command: (Cic.term,Cic.obj) GrafiteAst.command -> string
 
+val pp_dependency:  GrafiteAst.dependency -> string
+
+