X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2FcontentPp.mli;h=a160ab1ff3b7eb9e61ca06b017a67748e7d3b9cc;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=85ce238f39f42043febe8e161cd9b7e90f8fb54a;hpb=4bcd14a9ed245ccae631697a05ff5a377c02b179;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