X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2FcicNotationPp.mli;h=d883ddfc624e34a6702dbdf90c3cc392937d365d;hb=9b09890767aaa93e512324f8e7f13e2cdeebac88;hp=2e60c74446cc207ed269304801686652906983bb;hpb=c50e53d7823a04b65233c61f738c2b5caa0dcf6f;p=helm.git

diff --git a/helm/software/components/acic_content/cicNotationPp.mli b/helm/software/components/acic_content/cicNotationPp.mli
index 2e60c7444..d883ddfc6 100644
--- a/helm/software/components/acic_content/cicNotationPp.mli
+++ b/helm/software/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