Better handling of idref propagation, no more Href hack, multiple idrefs are

[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 bf4d2cdab41dfbe2847a5c42f99da1e4ce16bb51..bd7b23adb8b272268cd6a3cd254079e61cd30ec3 100644 (file)
--- a/helm/ocaml/cic_notation/grafiteAstPp.mli
+++ b/helm/ocaml/cic_notation/grafiteAstPp.mli
@@ -64,4 +64,5 @@ val pp_cic_command: (Cic.term,Cic.obj) GrafiteAst.command -> string
 
 val pp_dependency:  GrafiteAst.dependency -> string
 
-  
+val pp_cic_appl_pattern: CicNotationPt.cic_appl_pattern -> string
+