From f95b422aaf3f675e1e3b916ac04740a5acaddd02 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 8 Oct 2015 12:40:12 +0200 Subject: Reset all Hashtables. --- debug/DebugInformation.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'debug') diff --git a/debug/DebugInformation.ml b/debug/DebugInformation.ml index 874dfb77..d1747f8e 100644 --- a/debug/DebugInformation.ml +++ b/debug/DebugInformation.ml @@ -692,9 +692,13 @@ let init name = Hashtbl.reset stamp_to_local; Hashtbl.reset atom_to_local; Hashtbl.reset scope_to_local; + Hashtbl.reset atom_to_scope; Hashtbl.reset compilation_section_start; Hashtbl.reset compilation_section_end; + Hashtbl.reset diab_additional; Hashtbl.reset filenum; + Hashtbl.reset var_locations; + Hashtbl.reset scope_ranges; + Hashtbl.reset label_translation; all_files := StringSet.singleton name; - Hashtbl.reset diab_additional; printed_vars := StringSet.empty; -- cgit