last commit for helena 0.8.2

[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 8da7e563b970eedd2a16efb3162476c0b63f2e6f..67293fac8ba6f2b96613aa9f3b99f37f5ee7ba57 100644 (file)
--- a/helm/software/helena/src/common/alpha.ml
+++ b/helm/software/helena/src/common/alpha.ml
@@ -16,7 +16,7 @@ module E = Entity
 let rec alpha mem x a =
    let err () = a in
    let f () = match a.E.n_name with
-      | None               -> assert false
+      | None               -> a
       | Some (token, mode) -> alpha mem x {a with E.n_name = Some (token ^ "_", mode)}
    in
    mem err f x a