diff options
Diffstat (limited to 'asmcomp/closure.ml')
| -rw-r--r-- | asmcomp/closure.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/asmcomp/closure.ml b/asmcomp/closure.ml index d4ff4e223..239678c4d 100644 --- a/asmcomp/closure.ml +++ b/asmcomp/closure.ml @@ -616,8 +616,7 @@ and close_functions fenv cenv fun_defs = List.map (function (id, (Lfunction(kind, params, body) as def)) -> - let label = - Compilenv.current_unit_name() ^ "__" ^ Ident.unique_name id in + let label = Compilenv.make_symbol (Some (Ident.unique_name id)) in let arity = List.length params in let fundesc = {fun_label = label; |