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

[helm.git] / helm / software / lambda-delta / src / complete_rg / crgOutput.ml

diff --git a/helm/software/lambda-delta/src/complete_rg/crgOutput.ml b/helm/software/lambda-delta/src/complete_rg/crgOutput.ml
index 6da54cbc3dc9cb48dc870687369c147c69b0d87a..efa39eec6d7fe6878140def53346933696d3da01 100644 (file)
--- a/helm/software/lambda-delta/src/complete_rg/crgOutput.ml
+++ b/helm/software/lambda-delta/src/complete_rg/crgOutput.ml
@@ -13,19 +13,19 @@ module P = Printf
 module U = NUri
 module C = Cps
 module H = Hierarchy
-module Y = Entity
+module E = Entity
 module D = Crg
 
 (****************************************************************************)
 
 let pp_attrs out a =
    let map = function
-      | Y.Name (s, true)  -> out (P.sprintf "%s;" s)
-      | Y.Name (s, false) -> out (P.sprintf "~%s;" s)
-      | Y.Apix i          -> out (P.sprintf "+%i;" i)
-      | Y.Mark i          -> out (P.sprintf "@%i;" i)
-      | Y.Meta s          -> out (P.sprintf "\"%s\";" s)
-      | Y.Priv            -> out (P.sprintf "%s;" "~")
+      | E.Name (s, true)  -> out (P.sprintf "%s;" s)
+      | E.Name (s, false) -> out (P.sprintf "~%s;" s)
+      | E.Apix i          -> out (P.sprintf "+%i;" i)
+      | E.Mark i          -> out (P.sprintf "@%i;" i)
+      | E.Meta s          -> out (P.sprintf "\"%s\";" s)
+      | E.Priv            -> out (P.sprintf "%s;" "~")
    in
    List.iter map a