From 007ed4b93ac06e9cd5cf3107008f13df19f580f0 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 2 Oct 2015 11:10:39 +0200
Subject: Add also all files for local variables.

---
 debug/DebugInformation.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'debug')

diff --git a/debug/DebugInformation.ml b/debug/DebugInformation.ml
index 9100e60b..6046f894 100644
--- a/debug/DebugInformation.ml
+++ b/debug/DebugInformation.ml
@@ -521,6 +521,7 @@ let add_lvar_scope f_id var_id s_id =
   with Not_found -> ()
 
 let insert_local_declaration sto id ty loc =
+  add_file (fst loc);
   let ty = insert_type ty in
   let var = {
     lvar_name = id.name;
-- 
cgit