snapshot

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

diff --git a/helm/software/components/acic_procedural/acic2Procedural.mli b/helm/software/components/acic_procedural/acic2Procedural.mli
index f0016cce20c355ec8772769884d7fd110c4d6d6c..852bc05a58c008f05cef636bccd6da560f7afa76 100644 (file)
--- a/helm/software/components/acic_procedural/acic2Procedural.mli
+++ b/helm/software/components/acic_procedural/acic2Procedural.mli
@@ -38,3 +38,5 @@ val procedural_of_acic_term:
       (Cic.annterm, Cic.annterm,
        Cic.annterm GrafiteAst.reduction, Cic.annterm CicNotationPt.obj, string)
       GrafiteAst.statement list
+
+val debug: bool ref