X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2FproceduralOptimizer.ml;h=52192f723de1f0181a3f0cb1474307de068dc025;hb=bb7af347df386afcd3ea2adea8e7e982e3a5a253;hp=8d1108abe1dda13b1532a0356a387b97ba40cc1c;hpb=9e010764b6de0d8a268a6ecb83e8e90246bee129;p=helm.git

diff --git a/helm/software/components/acic_procedural/proceduralOptimizer.ml b/helm/software/components/acic_procedural/proceduralOptimizer.ml
index 8d1108abe..52192f723 100644
--- 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