From ac48235ec7485f659162d6220c8b4c7731505423 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 11 Nov 2014 18:42:51 +0100 Subject: Added functions for printing of the abbreviations. --- debug/DwarfTypes.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debug/DwarfTypes.ml') diff --git a/debug/DwarfTypes.ml b/debug/DwarfTypes.ml index b2779e33..ecb346b9 100644 --- a/debug/DwarfTypes.ml +++ b/debug/DwarfTypes.ml @@ -36,7 +36,7 @@ type language = | DW_LANG_C | DW_LANG_C89 -type block = string (* Used as bitvector *) +type block = string type location_value = | LocConst of constant -- cgit