many changes:

[helm.git] / helm / software / components / cic / deannotate.mli

diff --git a/helm/software/components/cic/deannotate.mli b/helm/software/components/cic/deannotate.mli
index 89b18d2d6faca057879068950560fed48f5df0a8..1e29b5b648ded189030f098707b2496156b7573d 100644 (file)
--- 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