- Coq/preamble: missing alias added

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

diff --git a/helm/software/components/acic_procedural/proceduralOptimizer.mli b/helm/software/components/acic_procedural/proceduralOptimizer.mli
index 1e7bdada259d1100ee5146beaa34402812f0641a..522860df3ab2835e1e07ead9d73b0a7bb94752ef 100644 (file)
--- a/helm/software/components/acic_procedural/proceduralOptimizer.mli
+++ b/helm/software/components/acic_procedural/proceduralOptimizer.mli
@@ -27,4 +27,6 @@ val optimize_obj: Cic.obj -> Cic.obj * string
 
 val optimize_term: Cic.context -> Cic.term -> Cic.term * string
 
+val critical: bool ref
+
 val debug: bool ref