X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fbasic_rg%2FbrgCrg.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fbasic_rg%2FbrgCrg.ml;h=32950e1cf557c5a55a8463752179224b75923d33;hb=39b42ed90bc74c8b6293842f1ac4aca60fc0c37e;hp=2b3129339e9a6acb41b69cbf831f6da03e53b364;hpb=bb2a0b22a2c38b59ca664b550f34e5e40e6f04c7;p=helm.git

diff --git a/helm/software/lambda-delta/src/basic_rg/brgCrg.ml b/helm/software/lambda-delta/src/basic_rg/brgCrg.ml
index 2b3129339..32950e1cf 100644
--- a/helm/software/lambda-delta/src/basic_rg/brgCrg.ml
+++ b/helm/software/lambda-delta/src/basic_rg/brgCrg.ml
@@ -10,8 +10,8 @@
       V_______________________________________________________________ *)
 
 module C = Cps
-module Y = Entity
-module M = Marks
+module E = Entity
+module J = Marks
 module D = Crg
 module B = Brg
 
@@ -25,7 +25,7 @@ let rec lenv_fold_left map1 map2 x = function
 let rec xlate_term f = function
    | D.TSort (a, l)     -> f (B.Sort (a, l))
    | D.TGRef (a, n)     -> f (B.GRef (a, n))
-   | D.TLRef (a, _, _)  -> let f i = f (B.LRef (a, i)) in Y.apix C.err f a
+   | D.TLRef (a, _, _)  -> let f i = f (B.LRef (a, i)) in E.apix C.err f a
    | D.TCast (a, u, t)  ->
       let f uu tt = f (B.Cast (a, uu, tt)) in
       let f uu = xlate_term (f uu) t in
@@ -44,11 +44,11 @@ let rec xlate_term f = function
 
 and xlate_bind x a b =
    let f a ns = a, ns in
-   let a, ns = Y.get_names f a in 
+   let a, ns = E.get_names f a in 
    match b with
       | D.Abst ws ->
          let map x n w = 
-	    let f ww = B.Bind (n :: M.new_mark () :: a, B.Abst ww, x) in 
+	    let f ww = B.Bind (n :: J.new_mark () :: a, B.Abst ww, x) in 
 	    xlate_term f w
 	 in
 	 List.fold_left2 map x ns ws