we aligned the implementation to the plmms08 paper

[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 8d1108abe1dda13b1532a0356a387b97ba40cc1c..52192f723de1f0181a3f0cb1474307de068dc025 100644 (file)
--- a/helm/software/components/acic_procedural/proceduralOptimizer.ml
+++ b/helm/software/components/acic_procedural/proceduralOptimizer.ml
@@ -52,7 +52,7 @@ type status = {
 
 let info st str = {st with info = st.info ^ str ^ "\n"}
 
-let defined_premise = "DEFINED"
+let defined_premise = "LOCAL"
 
 let define c v =
    let name = C.Name defined_premise in