aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc/TargetPrinter.ml
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2017-11-06 09:56:21 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2017-11-06 09:56:21 +0100
commit43b557ce847b56c1cfae2081c7585191043a85b6 (patch)
tree78297076b1f3a704372b91ba9e6419f984d94043 /powerpc/TargetPrinter.ml
parent0c00ace3c8981516ef02bc49f4e616e4cb485124 (diff)
downloadcompcert-kvx-43b557ce847b56c1cfae2081c7585191043a85b6.tar.gz
compcert-kvx-43b557ce847b56c1cfae2081c7585191043a85b6.zip
Remove superfluous function.
The new_label function is alway equal to PrintAsmaux.new_label. Bug 22472
Diffstat (limited to 'powerpc/TargetPrinter.ml')
-rw-r--r--powerpc/TargetPrinter.ml2
1 files changed, 0 insertions, 2 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml
index 9c07b086..390fb385 100644
--- a/powerpc/TargetPrinter.ml
+++ b/powerpc/TargetPrinter.ml
@@ -993,8 +993,6 @@ module Target (System : SYSTEM):TARGET =
let default_falignment = 4
- let new_label = new_label
-
let address = address
let section oc sec =