From 680444f180c750078a77b0591cd5c19e632612d6 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 7 Dec 2016 10:10:33 +0100 Subject: More verbose dwarf. --- debug/DwarfTypes.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debug/DwarfTypes.mli') diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli index 566fa16c..48da4509 100644 --- a/debug/DwarfTypes.mli +++ b/debug/DwarfTypes.mli @@ -57,7 +57,7 @@ type bound_value = type string_const = | Simple_string of string - | Offset_string of reference + | Offset_string of reference * string type file_loc = | Diab_file_loc of constant * constant -- cgit