X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicPp.mli;h=371b75e29480e6b29678dbb8405aae3ebc4ec36d;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=afc519c9f3ea43ab21f30d80aa0a4c76c1b2adb5;hpb=489679090cdd70dfd1ad57e681970fd6f0b6e6f9;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicPp.mli b/helm/ocaml/cic_proof_checking/cicPp.mli
index afc519c9f..371b75e29 100644
--- a/helm/ocaml/cic_proof_checking/cicPp.mli
+++ b/helm/ocaml/cic_proof_checking/cicPp.mli
@@ -44,4 +44,7 @@ val ppterm : Cic.term -> string
 
 (* Required only by the topLevel. It is the generalization of ppterm to *)
 (* work with environments.                                              *)
-val pp : Cic.term -> Cic.name list -> string
+val pp : Cic.term -> (Cic.name option) list -> string
+
+val ppname : Cic.name -> string
+