X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPp.mli;h=ca22765f8713fc427aecf2c9b636b9d16151bc66;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;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..ca22765f8 100644
--- a/helm/ocaml/cic_notation/cicNotationPp.mli
+++ b/helm/ocaml/cic_notation/cicNotationPp.mli
@@ -25,7 +25,7 @@
 
 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