diff options
Diffstat (limited to 'asmcomp/emitaux.mli')
| -rw-r--r-- | asmcomp/emitaux.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/asmcomp/emitaux.mli b/asmcomp/emitaux.mli index 112e276a12..4f666be736 100644 --- a/asmcomp/emitaux.mli +++ b/asmcomp/emitaux.mli @@ -25,6 +25,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 type frame_descr = { fd_lbl: int; (* Return address *) |