diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-12-17 13:43:22 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-12-17 13:43:22 +0000 |
commit | f43d7972798481a1c5ba0907b0ed66a3568e6b75 (patch) | |
tree | 72473da1a46971eb601b6b8b015f6737f6fcdcb8 /asmcomp/emit_sparc.mlp | |
parent | 7791871296722924ed4605a258e92fc2e9ad05dd (diff) | |
download | ocaml-f43d7972798481a1c5ba0907b0ed66a3568e6b75.tar.gz |
Fin du passage aux routines de bibliotheque .mul .div .mod
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@544 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/emit_sparc.mlp')
-rw-r--r-- | asmcomp/emit_sparc.mlp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/asmcomp/emit_sparc.mlp b/asmcomp/emit_sparc.mlp index 86b1312042..28f4f47678 100644 --- a/asmcomp/emit_sparc.mlp +++ b/asmcomp/emit_sparc.mlp @@ -64,8 +64,9 @@ let symbol_prefix = | _ -> fatal_error "Emit_sparc.symbol_prefix" let emit_symbol s = - if not(String.length s >= 1 & s.[0] = '.') then emit_string symbol_prefix; - Emitaux.emit_symbol s + if String.length s >= 1 & s.[0] = '.' + then emit_string s + else begin emit_string symbol_prefix; Emitaux.emit_symbol s end (* Output a label *) |