diff options
Diffstat (limited to 'asmcomp/emitaux.mli')
| -rw-r--r-- | asmcomp/emitaux.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/asmcomp/emitaux.mli b/asmcomp/emitaux.mli index cc479d8ccf..9b19e294c7 100644 --- a/asmcomp/emitaux.mli +++ b/asmcomp/emitaux.mli @@ -23,9 +23,9 @@ val emit_char: char -> unit val emit_string_literal: string -> unit val emit_string_directive: string -> string -> unit val emit_bytes_directive: string -> string -> unit -val emit_float64_directive: string -> string -> unit -val emit_float64_split_directive: string -> string -> unit -val emit_float32_directive: string -> string -> unit +val emit_float64_directive: string -> int64 -> unit +val emit_float64_split_directive: string -> int64 -> unit +val emit_float32_directive: string -> int32 -> unit val reset_debug_info: unit -> unit val emit_debug_info: Debuginfo.t -> unit |