first commit for Helena 0.8.2

[helm.git] / helm / software / lambda-delta / src / basic_rg / brgSubstitution.ml

diff --git a/helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml b/helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml
index 4e5eb481f17fd5fc3b762846ad3dfbff8b27f556..152b8c0691dfdca94068003d6a5e5bbca8db2aea 100644 (file)
--- 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