ocaml 3.09 transition

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

diff --git a/helm/ocaml/cic_notation/cicNotationPp.mli b/helm/ocaml/cic_notation/cicNotationPp.mli
index ca22765f8713fc427aecf2c9b636b9d16151bc66..2fb05c51b6832baeaec3391ba9215366f4aad912 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationPp.mli
+++ b/helm/ocaml/cic_notation/cicNotationPp.mli
@@ -29,3 +29,6 @@ val pp_env: CicNotationEnv.t -> string
 val pp_value: CicNotationEnv.value -> string
 val pp_value_type: CicNotationEnv.value_type -> string
 
+val pp_pos: CicNotationPt.child_pos -> string
+val pp_attribute: CicNotationPt.term_attribute -> string
+