X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicPp.mli;h=9f68d0525200a0ba959aee302bdd969d47752ca1;hb=37f08b2aba9f17d9d609ca0f57d607f437a3d3fc;hp=afc519c9f3ea43ab21f30d80aa0a4c76c1b2adb5;hpb=a61f397a3ea3acaf95a04a2aafbf1d3f223a2755;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