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/PrintAsmaux.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'backend/PrintAsmaux.ml')

diff --git a/backend/PrintAsmaux.ml b/backend/PrintAsmaux.ml
index 0db664ce..4099d76f 100644
--- a/backend/PrintAsmaux.ml
+++ b/backend/PrintAsmaux.ml
@@ -43,7 +43,6 @@ module type TARGET =
       val comment: string
       val symbol: out_channel -> P.t -> unit
       val default_falignment: int
-      val new_label: unit -> int
       val label: out_channel -> int -> unit
       val address: string
     end
-- 
cgit