X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic%2Fdeannotate.mli;h=1e29b5b648ded189030f098707b2496156b7573d;hb=42f2dc48b4fef5b404f406bf512d6a0cde35c067;hp=89b18d2d6faca057879068950560fed48f5df0a8;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/cic/deannotate.mli b/components/cic/deannotate.mli
index 89b18d2d6..1e29b5b64 100644
--- a/components/cic/deannotate.mli
+++ b/components/cic/deannotate.mli
@@ -33,4 +33,5 @@
 (******************************************************************************)
 
 val deannotate_term : Cic.annterm -> Cic.term
+val deannotate_conjectures : Cic.annmetasenv -> Cic.metasenv
 val deannotate_obj : Cic.annobj -> Cic.obj