X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcommon%2Falpha.ml;fp=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcommon%2Falpha.ml;h=9eddedc73d7801082b507e3f8e163c2aadd747a1;hb=fec20705af4705f8eb9542aece87769b82a6a6b4;hp=67293fac8ba6f2b96613aa9f3b99f37f5ee7ba57;hpb=b37863d4598516a06241f18ad0db963399015bf2;p=helm.git

diff --git a/helm/software/helena/src/common/alpha.ml b/helm/software/helena/src/common/alpha.ml
index 67293fac8..9eddedc73 100644
--- 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