From 4eb3efa2ccbf58c59a8d181c7d616b3d0c06e02b Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 10 Nov 2016 10:35:35 +0100
Subject: Use 64 bit address in debug information.

Address constants need to be 64bit also in the debug information.
Bug 20335
---
 backend/PrintAsm.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'backend/PrintAsm.ml')

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)
-- 
cgit