From 886f5550616272d899745d62ec3076fb63a71054 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 1 Oct 2015 14:27:35 +0200 Subject: Use also fucntion id for local variables since atom is not unique. --- debug/Dwarfgen.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debug/Dwarfgen.ml') diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml index 8f71d487..6c79ce0c 100644 --- a/debug/Dwarfgen.ml +++ b/debug/Dwarfgen.ml @@ -336,7 +336,7 @@ let range_entry_loc (sp,l) = let location_entry f_id atom = try begin - match (Hashtbl.find var_locations atom) with + match (Hashtbl.find var_locations (f_id,atom)) with | FunctionLoc (a,r) -> translate_function_loc a r | RangeLoc l -> -- cgit