X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2FcontentPp.mli;h=a160ab1ff3b7eb9e61ca06b017a67748e7d3b9cc;hb=6248703e9f479d4c3edfcf227908ffd9d2dd7adc;hp=85ce238f39f42043febe8e161cd9b7e90f8fb54a;hpb=60951dd6218b8436830723dc10d4aed7b6894855;p=helm.git

diff --git a/helm/ocaml/cic_omdoc/contentPp.mli b/helm/ocaml/cic_omdoc/contentPp.mli
index 85ce238f3..a160ab1ff 100644
--- a/helm/ocaml/cic_omdoc/contentPp.mli
+++ b/helm/ocaml/cic_omdoc/contentPp.mli
@@ -25,4 +25,6 @@
 
 val print_proof: Cic.annterm Content.proof -> unit
 
+val print_obj: Cic.annterm Content.cobj -> unit
 
+val parg: int -> Cic.annterm Content.arg ->unit