From c8a0b76c6b9c3eb004a7fccdd2ad15cc8615ef93 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 17 Sep 2015 18:19:37 +0200
Subject: First version with computation of dwarf info from debug info.

Introduced a new dwarf generation from the information collected in
the DebugInformation and removed the old CtODwarf translation.
---
 debug/DwarfUtil.ml | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

(limited to 'debug/DwarfUtil.ml')

diff --git a/debug/DwarfUtil.ml b/debug/DwarfUtil.ml
index e2c87a9d..d5e72adb 100644
--- a/debug/DwarfUtil.ml
+++ b/debug/DwarfUtil.ml
@@ -14,18 +14,8 @@
 
 open DwarfTypes
 
-let id = ref 0
-
-let next_id () =
-  let nid = !id in
-  incr id; nid
-
-let reset_id () =
-  id := 0
-
 (* Generate a new entry from a given tag *)
-let new_entry tag =
-  let id = next_id () in
+let new_entry id tag =
   {
    tag = tag;
    children = [];
-- 
cgit