Procedural: bug fix in comment generation

[helm.git] / helm / software / components / acic_procedural / proceduralConversion.mli

diff --git a/helm/software/components/acic_procedural/proceduralConversion.mli b/helm/software/components/acic_procedural/proceduralConversion.mli
index ffc55d45e646bfbe7f26eabd251baf9b99830801..bc49b9a22cb4cb5658705dbcaabbe359aa92ee95 100644 (file)
--- a/helm/software/components/acic_procedural/proceduralConversion.mli
+++ b/helm/software/components/acic_procedural/proceduralConversion.mli
@@ -41,3 +41,5 @@ val clear: Cic.context -> string -> Cic.context
 
 val elim_inferred_type:
    Cic.context -> Cic.term -> Cic.term -> Cic.term -> Cic.term -> Cic.term
+
+val does_not_occur: Cic.annterm -> bool