refactored modules structure

[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..ca22765f8713fc427aecf2c9b636b9d16151bc66 100644 (file)
--- 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