From 43b557ce847b56c1cfae2081c7585191043a85b6 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 6 Nov 2017 09:56:21 +0100
Subject: Remove superfluous function.

The new_label function is alway equal to PrintAsmaux.new_label.
Bug 22472
---
 backend/PrintAsm.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'backend/PrintAsm.ml')

diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml
index 465b8791..3072bff3 100644
--- a/backend/PrintAsm.ml
+++ b/backend/PrintAsm.ml
@@ -23,8 +23,8 @@ module Printer(Target:TARGET) =
   struct
 
     let get_fun_addr name txt =
-      let s = Target.new_label ()
-      and e = Target.new_label () in
+      let s = new_label ()
+      and e = new_label () in
       Debug.add_fun_addr name txt (e,s);
       s,e
 
-- 
cgit