diff options
| author | Daniel Bünzli <daniel.buenzli@erratique.ch> | 2018-08-30 19:15:32 +0200 |
|---|---|---|
| committer | Daniel Bünzli <daniel.buenzli@erratique.ch> | 2018-11-07 13:52:02 +0100 |
| commit | a7afd89003096425ded67cbf7a004a5d2bc95b16 (patch) | |
| tree | 47e737f2db5acc8916ea632ef4a73835e46ff525 /asmcomp/x86_gas.ml | |
| parent | f0aa5a170729aad811919dd120b39f70a093c46f (diff) | |
| download | ocaml-a7afd89003096425ded67cbf7a004a5d2bc95b16.tar.gz | |
s/string_of_int/Int.to_string/g
Diffstat (limited to 'asmcomp/x86_gas.ml')
| -rw-r--r-- | asmcomp/x86_gas.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/x86_gas.ml b/asmcomp/x86_gas.ml index f905dc336d..6d2363a76b 100644 --- a/asmcomp/x86_gas.ml +++ b/asmcomp/x86_gas.ml @@ -36,7 +36,7 @@ let arg_mem b {arch; typ=_; idx; scale; base; sym; displ} = begin match sym with | None -> if displ <> 0 || scale = 0 then - Buffer.add_string b (string_of_int displ) + Buffer.add_string b (Int.to_string displ) | Some s -> Buffer.add_string b s; opt_displ b displ @@ -49,7 +49,7 @@ let arg_mem b {arch; typ=_; idx; scale; base; sym; displ} = end; if base != None || scale <> 1 then Buffer.add_char b ','; print_reg b string_of_register idx; - if scale <> 1 then bprintf b ",%s" (string_of_int scale); + if scale <> 1 then bprintf b ",%s" (Int.to_string scale); Buffer.add_char b ')' end |