From 9699d81b304414534008258c05d391bdc1c9e217 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 16 Mar 2015 14:51:00 +0100
Subject: Added printers for the rest of the possible tags.

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

(limited to 'debug/DwarfTypes.ml')

diff --git a/debug/DwarfTypes.ml b/debug/DwarfTypes.ml
index 81c4b858..268711b3 100644
--- a/debug/DwarfTypes.ml
+++ b/debug/DwarfTypes.ml
@@ -70,7 +70,7 @@ type dw_tag_compile_unit =
 
 type dw_tag_const_type =
     {
-     const_type: reference;     
+     const_type: reference;
    }
 
 type dw_tag_enumeration_type =
@@ -219,7 +219,7 @@ type dw_tag =
 
 (* The type of the entries. *)
 
-type dw_entry = 
+type dw_entry =
     {
      tag:      dw_tag;
      children: dw_entry list;
-- 
cgit