X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2Fcontent2cic.mli;h=9bb6509cc23da41c4e5fe7fd84495aeb4da8fd68;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=a1c19fa578bcfb6c60ae19df4b6dcd0a07be43f5;hpb=4d7349fb1ecfb173f64fad0a97884d1d8e738904;p=helm.git

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