From 19e69e76b4608ab86819deb301409824400425a1 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 17 Nov 2014 13:33:17 +0100
Subject: Removed compile error and added dummy function for the printing of
 entries.

---
 debug/DwarfUtil.ml | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'debug/DwarfUtil.ml')

diff --git a/debug/DwarfUtil.ml b/debug/DwarfUtil.ml
index 5bdba147..79516e65 100644
--- a/debug/DwarfUtil.ml
+++ b/debug/DwarfUtil.ml
@@ -44,11 +44,6 @@ let add_children entry child =
   {entry with children = child::entry.children;}
 
 
-(* Iter over the tree in prefix order *)
-let rec entry_iter f entry =
-  f entry.tag;
-  List.iter (entry_iter f) entry.children
-
 let list_iter_with_next f list =
   let rec aux = (function
     | [] -> ()
-- 
cgit