X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fbasic_rg%2FbrgSubstitution.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fbasic_rg%2FbrgSubstitution.ml;h=152b8c0691dfdca94068003d6a5e5bbca8db2aea;hb=651d745df2454a9e232aff3c9d8bf3e77653936d;hp=4e5eb481f17fd5fc3b762846ad3dfbff8b27f556;hpb=fb6fee82bb9172e15b1a7bc7e20641627f593fcc;p=helm.git

diff --git a/helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml b/helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml
index 4e5eb481f..152b8c069 100644
--- a/helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml
+++ b/helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml
@@ -9,8 +9,8 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
+module G = Options
 module B = Brg
-(* module O = Output *)
 
 let rec icm a = function
    | B.Sort _
@@ -42,5 +42,9 @@ let lift_map h _ a i =
 
 let lift h d t =
    if h = 0 then t else begin
-(*      O.icm := succ (* icm *) !O.icm (*t*); *) iter (lift_map h) d t
+(*
+      G.icm := succ !G.icm; 
+      G.icm := icm !G.icm t;
+*)
+      iter (lift_map h) d t
    end