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
---
 debug/DwarfTypes.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'debug/DwarfTypes.mli')

diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli
index de4082a5..566fa16c 100644
--- a/debug/DwarfTypes.mli
+++ b/debug/DwarfTypes.mli
@@ -302,4 +302,5 @@ module type DWARF_TARGET =
     val section: out_channel -> section_name -> unit
     val symbol: out_channel -> atom -> unit
     val comment: string
+    val address: string
   end
-- 
cgit