X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2Fcic2content.mli;h=10ec4b0d1a8fc14e7d66fc1e13dedfd03e05160b;hb=ac7687ce66526f905874ed99a845223c853c558a;hp=16eb5333f721cdc0973b27199bd2c56ffa361440;hpb=9e781c8957ff049e7bba65e1d611e5f007b02fb5;p=helm.git

diff --git a/helm/ocaml/cic_omdoc/cic2content.mli b/helm/ocaml/cic_omdoc/cic2content.mli
index 16eb5333f..10ec4b0d1 100644
--- a/helm/ocaml/cic_omdoc/cic2content.mli
+++ b/helm/ocaml/cic_omdoc/cic2content.mli
@@ -28,3 +28,6 @@ val annobj2content :
   ids_to_inner_types:(string, Cic2acic.anntypes) Hashtbl.t ->
   Cic.annobj ->
   Cic.annterm Content.cobj
+
+val map_sequent :
+  Cic.annconjecture -> Cic.annterm Content.conjecture