diff options
Diffstat (limited to 'powerpc/TargetPrinter.ml')
-rw-r--r-- | powerpc/TargetPrinter.ml | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index 97fa952d..d7249d17 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -701,11 +701,8 @@ module Target (System : SYSTEM):TARGET = | [t;l;j] -> (t, l, j) | _ -> (Section_text, Section_literal, Section_jumptable) - let reset_constants () = - float64_literals := []; - float32_literals := []; - jumptables := [] - + let reset_constants = reset_constants + let print_var_info = true let print_comm_symb oc sz name align = |