2 files changed, 2 insertions, 0 deletions
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml
index 8e43a050..9292745d 100644
--- a/backend/PrintAsm.ml
+++ b/backend/PrintAsm.ml
@@ -113,6 +113,7 @@ module Printer(Target:TARGET) =
         let section = Target.section
         let symbol = Target.symbol
         let comment = Target.comment
+        let address = Target.address
       end
 
     module DebugPrinter = DwarfPrinter (DwarfTarget)
diff --git a/backend/PrintAsmaux.ml b/backend/PrintAsmaux.ml
index b220659c..ff276af1 100644
--- a/backend/PrintAsmaux.ml
+++ b/backend/PrintAsmaux.ml
@@ -45,6 +45,7 @@ module type TARGET =
       val default_falignment: int
       val new_label: unit -> int
       val label: out_channel -> int -> unit
+      val address: string
     end
 
 (* On-the-fly label renaming *)