we parametrized CicNotationPt.obj on 'term

[helm.git] / components / acic_content / cicNotationPp.mli

diff --git a/components/acic_content/cicNotationPp.mli b/components/acic_content/cicNotationPp.mli
index 2e60c74446cc207ed269304801686652906983bb..d883ddfc624e34a6702dbdf90c3cc392937d365d 100644 (file)
--- 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