we renamed the module abbreviations according to src/modules.ml

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

diff --git a/helm/software/lambda-delta/src/basic_rg/brgCrg.ml b/helm/software/lambda-delta/src/basic_rg/brgCrg.ml
index 2b3129339e9a6acb41b69cbf831f6da03e53b364..32950e1cf557c5a55a8463752179224b75923d33 100644 (file)
--- 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