X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=components%2Facic_content%2FcicNotationPp.mli;h=d883ddfc624e34a6702dbdf90c3cc392937d365d;hb=249d11773d32add20d665c4f8521b7380e4fec0a;hp=2e60c74446cc207ed269304801686652906983bb;hpb=dfd97b1229e856e7d7fbdd5e11ddf60707d05ae0;p=helm.git

diff --git a/components/acic_content/cicNotationPp.mli b/components/acic_content/cicNotationPp.mli
index 2e60c7444..d883ddfc6 100644
--- a/components/acic_content/cicNotationPp.mli
+++ b/components/acic_content/cicNotationPp.mli
@@ -39,7 +39,7 @@
  *)
 
 val pp_term: CicNotationPt.term -> string
-val pp_obj: CicNotationPt.obj -> string
+val pp_obj: ('term -> string) -> 'term CicNotationPt.obj -> string
 
 val pp_env: CicNotationEnv.t -> string
 val pp_value: CicNotationEnv.value -> string