From b4846ffadfa3fbb73ffa7d9c43e5218adeece8da Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 18 Aug 2015 12:50:19 +0200
Subject: Added support for the location of non static global variables.

---
 debug/DwarfTypes.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'debug/DwarfTypes.mli')

diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli
index d6592bd9..4852e550 100644
--- a/debug/DwarfTypes.mli
+++ b/debug/DwarfTypes.mli
@@ -37,6 +37,7 @@ type address = int
 type block = string
 
 type location_value =
+  | LocSymbol of string
   | LocConst of constant
   | LocBlock of block
 
-- 
cgit