From a7afd89003096425ded67cbf7a004a5d2bc95b16 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20B=C3=BCnzli?= Date: Thu, 30 Aug 2018 19:15:32 +0200 Subject: s/string_of_int/Int.to_string/g --- asmcomp/x86_gas.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'asmcomp/x86_gas.ml') 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 -- cgit v1.2.1