diff options
Diffstat (limited to 'x86/TargetPrinter.ml')
| -rw-r--r-- | x86/TargetPrinter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/x86/TargetPrinter.ml b/x86/TargetPrinter.ml index 52c2de49..b685c4cb 100644 --- a/x86/TargetPrinter.ml +++ b/x86/TargetPrinter.ml @@ -878,7 +878,7 @@ module Target(System: SYSTEM):TARGET = print_align oc 8; Hashtbl.iter (print_literal64 oc) literal64_labels; Hashtbl.iter (print_literal32 oc) literal32_labels; - reset_constants () + reset_literals () end let cfi_startproc = cfi_startproc |