- doubleTypeInference: we check for unreferenced letins in the inferred type also...

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

diff --git a/helm/software/components/acic_procedural/proceduralOptimizer.ml b/helm/software/components/acic_procedural/proceduralOptimizer.ml
index c5a27efc44942bbd8e7b028a99791779e9be9a47..2faade402402068c51a1137976cd2c91facd5dd9 100644 (file)
--- a/helm/software/components/acic_procedural/proceduralOptimizer.ml
+++ b/helm/software/components/acic_procedural/proceduralOptimizer.ml
@@ -42,7 +42,7 @@ module Cl   = ProceduralClassify
 
 (* debugging ****************************************************************)
 
-let debug = ref false
+let debug = ref true
 
 (* term optimization ********************************************************)