diff options
Diffstat (limited to 'debug/Dwarfgen.ml')
| -rw-r--r-- | debug/Dwarfgen.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 -> |