From 47a77e398dd3815a20622934cdeeb4f0e076f42b Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 6 Feb 2015 13:19:59 +0100
Subject: Changed the ia32 backend to the new Printer.

---
 powerpc/TargetPrinter.ml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'powerpc/TargetPrinter.ml')

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 = 
-- 
cgit