From 680444f180c750078a77b0591cd5c19e632612d6 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 7 Dec 2016 10:10:33 +0100
Subject: More verbose dwarf.

---
 debug/Dwarfgen.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'debug/Dwarfgen.ml')

diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml
index 65cd4951..30e44e52 100644
--- a/debug/Dwarfgen.ml
+++ b/debug/Dwarfgen.ml
@@ -583,11 +583,11 @@ let gnu_string_entry s =
     Simple_string s
   else
     try
-      Offset_string (Hashtbl.find string_table s)
+      Offset_string ((Hashtbl.find string_table s),s)
     with Not_found ->
       let id = next_id () in
       Hashtbl.add string_table s id;
-      Offset_string id
+      Offset_string (id,s)
 
 
 let gen_gnu_debug_info sec_name var_section : debug_entries =
-- 
cgit