From a84576b219c797467e480508fc99ba78260062df Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 11 Mar 2015 18:02:36 +0100
Subject: Started integrating the debug printing in the common backend_printer.

---
 backend/PrintAsmaux.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'backend/PrintAsmaux.ml')

diff --git a/backend/PrintAsmaux.ml b/backend/PrintAsmaux.ml
index 64db2cb0..aa0f4214 100644
--- a/backend/PrintAsmaux.ml
+++ b/backend/PrintAsmaux.ml
@@ -43,6 +43,9 @@ module type TARGET =
       val comment: string
       val symbol: out_channel -> P.t -> unit
       val default_falignment: int
+      val get_start_addr: unit -> int
+      val get_end_addr: unit -> int
+      val get_stmt_list_addr: unit -> int
     end
 
 (* On-the-fly label renaming *)
-- 
cgit