From a3ec645b5ae36c54988f95057f37693edbad02c5 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 10 Nov 2017 11:05:02 +0100
Subject: Remove no longer used function. Bug 22525

---
 backend/PrintAsm.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'backend/PrintAsm.ml')

diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml
index b489bc11..44c6b409 100644
--- a/backend/PrintAsm.ml
+++ b/backend/PrintAsm.ml
@@ -39,7 +39,6 @@ module Printer(Target:TARGET) =
 
     let print_function oc name fn =
       Hashtbl.clear current_function_labels;
-      Target.reset_constants ();
       let (text, lit, jmptbl) = Target.get_section_names name in
       Target.section oc text;
       let alignment =
-- 
cgit