ocaml 3.09 transition

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

diff --git a/helm/ocaml/cic_omdoc/content2cic.mli b/helm/ocaml/cic_omdoc/content2cic.mli
index 74d5301820f7e1ec6c8700515ac7168f71304b2a..9bb6509cc23da41c4e5fe7fd84495aeb4da8fd68 100644 (file)
--- a/helm/ocaml/cic_omdoc/content2cic.mli
+++ b/helm/ocaml/cic_omdoc/content2cic.mli
@@ -32,6 +32,4 @@
 (*                                                                        *)
 (**************************************************************************)
 
-val proof2cic : 
-  (Cic.annterm -> Cic.term) ->
-  Cic.annterm Content.proof -> Cic.term
+val cobj2obj : Cic.annterm Content.cobj -> Cic.obj