diff options
Diffstat (limited to 'asmcomp/printmach.ml')
| -rw-r--r-- | asmcomp/printmach.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/printmach.ml b/asmcomp/printmach.ml index 7c4679f8de..7ddc62190a 100644 --- a/asmcomp/printmach.ml +++ b/asmcomp/printmach.ml @@ -109,7 +109,7 @@ let operation op arg ppf res = | Ireload -> fprintf ppf "%a (reload)" regs arg | Iconst_int n | Iconst_blockheader n -> fprintf ppf "%s" (Nativeint.to_string n) - | Iconst_float f -> fprintf ppf "%F" f + | Iconst_float f -> fprintf ppf "%F" (Int64.float_of_bits f) | Iconst_symbol s -> fprintf ppf "\"%s\"" s | Icall_ind -> fprintf ppf "call %a" regs arg | Icall_imm lbl -> fprintf ppf "call \"%s\" %a" lbl regs arg |