From 08b2b46f15e70b11c044e4e9a7c8438a96d57ed7 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 16 Apr 2015 13:11:15 +0200
Subject: Correct type of label function.

---
 arm/TargetPrinter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index a7e4e50c..df17e595 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -1138,7 +1138,7 @@ module Target (Opt: PRINTER_OPTIONS) : TARGET =
 
     module DwarfAbbrevs = DwarfUtil.DefaultAbbrevs (* Dummy Abbrev types *)
         
-    let label = print_label
+    let label = elf_label
        
     let new_label = new_label
         
-- 
cgit