diff options
| -rw-r--r-- | Changes | 1 | ||||
| -rw-r--r-- | asmcomp/amd64/emit.mlp | 7 |
2 files changed, 1 insertions, 7 deletions
@@ -19,7 +19,6 @@ Compilers: Native-code compiler: - Optimized handling of partially-applied functions (PR#5287) -- AMD64/MacOSX code generator: make local asm labels really local. Standard library: - Added float functions "hypot" and "copysign" (PR#3806, PR#4752, PR#5246) diff --git a/asmcomp/amd64/emit.mlp b/asmcomp/amd64/emit.mlp index f8810c82d..473c63432 100644 --- a/asmcomp/amd64/emit.mlp +++ b/asmcomp/amd64/emit.mlp @@ -82,13 +82,8 @@ let load_symbol_addr s = (* Output a label *) -let label_prefix = - match Config.system with - | "macosx" -> "L" - | _ -> ".L" - let emit_label lbl = - emit_string label_prefix; emit_int lbl + emit_string ".L"; emit_int lbl (* Output a .align directive. *) |