From 43b557ce847b56c1cfae2081c7585191043a85b6 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer 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 --- arm/TargetPrinter.ml | 2 -- 1 file changed, 2 deletions(-) (limited to 'arm/TargetPrinter.ml') diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml index 7abd9074..1493f9fc 100644 --- a/arm/TargetPrinter.ml +++ b/arm/TargetPrinter.ml @@ -886,8 +886,6 @@ struct let default_falignment = 4 - let new_label = new_label - let address = if Archi.ptr64 then ".quad" else ".4byte" end -- cgit