From cb19f7307cfe0beb4ae16c53005c6d0df8162f4a Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 27 Oct 2014 18:35:34 +0100
Subject: Added the type information to the global information stored for each
 atom.

---
 debug/DwarfUtil.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'debug/DwarfUtil.ml')

diff --git a/debug/DwarfUtil.ml b/debug/DwarfUtil.ml
index ec5495c1..100e35bf 100644
--- a/debug/DwarfUtil.ml
+++ b/debug/DwarfUtil.ml
@@ -26,6 +26,10 @@ let reset_id () =
 (* Hashtable to from type name to entry id *)
 let type_table: (string, int) Hashtbl.t = Hashtbl.create 7
 
+(* Clear the type map *)
+let reset_type_table () = 
+  Hashtbl.clear type_table
+
 (* Generate a new entry from a given tag *)
 let new_entry tag =
   let id = next_id () in
@@ -35,7 +39,6 @@ let new_entry tag =
    id = id;
  }
 
-
 (* Add an entry as child to  another entry *)
 let add_children entry child =
   {entry with children = child::entry.children;}
-- 
cgit