X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcommon%2Falpha.ml;h=9eddedc73d7801082b507e3f8e163c2aadd747a1;hb=1b4d894e7349bba991823249f1716fb8f18239b7;hp=8da7e563b970eedd2a16efb3162476c0b63f2e6f;hpb=977faf4820cd8ff5e2f0a5249161bbb92ae4b097;p=helm.git

diff --git a/helm/software/helena/src/common/alpha.ml b/helm/software/helena/src/common/alpha.ml
index 8da7e563b..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
-      | None               -> assert false
-      | Some (token, mode) -> alpha mem x {a with E.n_name = Some (token ^ "_", mode)}
+   let f () = match a.E.b_name with
+      | None               -> a
+      | Some (token, mode) -> alpha mem x {a with E.b_name = Some (token ^ "_", mode)}
    in
    mem err f x a