Few modif in eta-fixing.

[helm.git] / helm / ocaml / cic_omdoc / contentPp.mli

diff --git a/helm/ocaml/cic_omdoc/contentPp.mli b/helm/ocaml/cic_omdoc/contentPp.mli
index 85ce238f39f42043febe8e161cd9b7e90f8fb54a..a160ab1ff3b7eb9e61ca06b017a67748e7d3b9cc 100644 (file)
--- 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