diff options
Diffstat (limited to 'backend/PrintAsmaux.ml')
-rw-r--r-- | backend/PrintAsmaux.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backend/PrintAsmaux.ml b/backend/PrintAsmaux.ml index 09630e29..c8f8ea82 100644 --- a/backend/PrintAsmaux.ml +++ b/backend/PrintAsmaux.ml @@ -72,6 +72,7 @@ let elf_label oc lbl = let float64_literals : (int * int64) list ref = ref [] let float32_literals : (int * int32) list ref = ref [] +let int64_literals : (int * int64) list ref = ref [] let jumptables : (int * label list) list ref = ref [] let reset_constants () = |