X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPp.mli;h=2fb05c51b6832baeaec3391ba9215366f4aad912;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=77f65bf5f3e8b80e8eac5c8e7fc9cb7e7eea332e;hpb=9230a8085102cd39258c047949e87001be6ffcf0;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationPp.mli b/helm/ocaml/cic_notation/cicNotationPp.mli
index 77f65bf5f..2fb05c51b 100644
--- 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
+