X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic%2Fdeannotate.mli;h=1e29b5b648ded189030f098707b2496156b7573d;hb=6beda5aa100b617b75d88a5a519b5022c99208a0;hp=89b18d2d6faca057879068950560fed48f5df0a8;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/cic/deannotate.mli b/helm/software/components/cic/deannotate.mli
index 89b18d2d6..1e29b5b64 100644
--- a/helm/software/components/cic/deannotate.mli
+++ b/helm/software/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