X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicPp.mli;h=9f68d0525200a0ba959aee302bdd969d47752ca1;hb=34815093cd80a179ff41b238ab7f394fbea6c2e0;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..9f68d0525 100644
--- a/helm/ocaml/cic_proof_checking/cicPp.mli
+++ b/helm/ocaml/cic_proof_checking/cicPp.mli
@@ -44,4 +44,4 @@ 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