X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2FproceduralOptimizer.mli;h=3e2eebf00a0573e06e15621ba64246448a2d69bd;hb=622b14b04e2076d75c283363969dab7d28380bfb;hp=45505d72cc098f1c96c047c97657a5e4520c193b;hpb=93afc8e27cf27754ff73b426e0b1d4df97224dee;p=helm.git

diff --git a/helm/software/components/acic_procedural/proceduralOptimizer.mli b/helm/software/components/acic_procedural/proceduralOptimizer.mli
index 45505d72c..3e2eebf00 100644
--- a/helm/software/components/acic_procedural/proceduralOptimizer.mli
+++ b/helm/software/components/acic_procedural/proceduralOptimizer.mli
@@ -24,3 +24,5 @@
  *)
 
 val optimize_obj: Cic.obj -> Cic.obj
+
+val debug: bool ref