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
---
 riscV/TargetPrinter.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'riscV/TargetPrinter.ml')

diff --git a/riscV/TargetPrinter.ml b/riscV/TargetPrinter.ml
index b363b2b7..5c6edc46 100644
--- a/riscV/TargetPrinter.ml
+++ b/riscV/TargetPrinter.ml
@@ -697,8 +697,6 @@ module Target : TARGET =
 
     let default_falignment = 2
 
-    let new_label = new_label
-
     let cfi_startproc oc = ()
     let cfi_endproc oc = ()
 
-- 
cgit