From ea4f17513442fa14ab18f46ec82949e6e80c5a2f Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 25 Nov 2016 12:56:41 +0100
Subject: Reset all Hashtbls.

A non reseted Hashtbl caused problems with multiple input files.
Bug 20462
---
 debug/DwarfPrinter.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'debug/DwarfPrinter.ml')

diff --git a/debug/DwarfPrinter.ml b/debug/DwarfPrinter.ml
index 1d336965..c9eb5acc 100644
--- a/debug/DwarfPrinter.ml
+++ b/debug/DwarfPrinter.ml
@@ -663,7 +663,10 @@ module DwarfPrinter(Target: DWARF_TARGET):
 
 
     (* Print the debug info and abbrev section *)
-    let print_debug oc = function
+    let print_debug oc debug =
+      Hashtbl.clear abbrev_mapping;
+      Hashtbl.clear loc_labels;
+      match debug with
       | Diab entries -> print_diab_entries oc entries
       | Gnu (cp,loc,s,r) -> print_gnu_entries oc cp loc s r
 
-- 
cgit