From 20b311376d93fd68d51a66ac4c158c000333ae18 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Sun, 23 Aug 2015 20:13:33 +0200
Subject: Revert "Added support for the location of non static global
 variables."

This reverts commit b4846ffadfa3fbb73ffa7d9c43e5218adeece8da.
---
 debug/DwarfTypes.mli | 1 -
 1 file changed, 1 deletion(-)

(limited to 'debug/DwarfTypes.mli')

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