X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_proof_checking%2FcicPp.mli;h=371b75e29480e6b29678dbb8405aae3ebc4ec36d;hb=970ba0021a992efe25ec374875dc127ff236cc74;hp=9f68d0525200a0ba959aee302bdd969d47752ca1;hpb=37f08b2aba9f17d9d609ca0f57d607f437a3d3fc;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicPp.mli b/helm/ocaml/cic_proof_checking/cicPp.mli
index 9f68d0525..371b75e29 100644
--- a/helm/ocaml/cic_proof_checking/cicPp.mli
+++ b/helm/ocaml/cic_proof_checking/cicPp.mli
@@ -45,3 +45,6 @@ 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 option) list -> string
+
+val ppname : Cic.name -> string
+