From b3c67667b7121b7f2e50700ec6da4bd780dee426 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 16 Mar 2015 12:23:29 +0100
Subject: Started implementing the printing functions for the debug info. Added
 a global target dependend option to activate the printing only for targets
 wher it works.

---
 ia32/TargetPrinter.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'ia32/TargetPrinter.ml')

diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml
index cc16890c..7663b7e7 100644
--- a/ia32/TargetPrinter.ml
+++ b/ia32/TargetPrinter.ml
@@ -977,6 +977,12 @@ module Target(System: SYSTEM):TARGET =
 
     let get_stmt_list_addr () = -1 (* Dummy constant *)
 
+    module DwarfAbbrevs = DwarfUtil.DefaultAbbrevs (* Dummy Abbrev types *)
+
+    let label = label
+       
+    let new_label = new_label
+
 end
 
 let sel_target () =
-- 
cgit