- simpler attribute system

[helm.git] / helm / software / helena / src / common / alpha.ml

diff --git a/helm/software/helena/src/common/alpha.ml b/helm/software/helena/src/common/alpha.ml
index 67293fac8ba6f2b96613aa9f3b99f37f5ee7ba57..9eddedc73d7801082b507e3f8e163c2aadd747a1 100644 (file)
--- a/helm/software/helena/src/common/alpha.ml
+++ b/helm/software/helena/src/common/alpha.ml
@@ -15,8 +15,8 @@ module E = Entity
 
 let rec alpha mem x a =
    let err () = a in
-   let f () = match a.E.n_name with
+   let f () = match a.E.b_name with
       | None               -> a
-      | Some (token, mode) -> alpha mem x {a with E.n_name = Some (token ^ "_", mode)}
+      | Some (token, mode) -> alpha mem x {a with E.b_name = Some (token ^ "_", mode)}
    in
    mem err f x a