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 77f65bf5f3e8b80e8eac5c8e7fc9cb7e7eea332e..2fb05c51b6832baeaec3391ba9215366f4aad912 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationPp.mli
+++ b/helm/ocaml/cic_notation/cicNotationPp.mli
@@ -25,7 +25,10 @@
 
 val pp_term: CicNotationPt.term -> string
 
-val pp_env: CicNotationEnv.env_type -> string
+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
+