new directory for the newGeneration refiner

[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 45505d72cc098f1c96c047c97657a5e4520c193b..3e2eebf00a0573e06e15621ba64246448a2d69bd 100644 (file)
--- 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