diff options
Diffstat (limited to 'aarch64/TargetPrinter.ml')
-rw-r--r-- | aarch64/TargetPrinter.ml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/aarch64/TargetPrinter.ml b/aarch64/TargetPrinter.ml index b2858e2e..cde5668b 100644 --- a/aarch64/TargetPrinter.ml +++ b/aarch64/TargetPrinter.ml @@ -274,11 +274,6 @@ module Target(System: SYSTEM): TARGET = let section oc sec = fprintf oc " %s\n" (name_of_section sec) -(* Printing floating-point constants. *) - - let print_literal64 oc n lbl = - fprintf oc "%a: .quad 0x%Lx\n" label lbl n - (* Emit .file / .loc debugging directives *) let print_file_line oc file line = |