aboutsummaryrefslogtreecommitdiffstats
path: root/debug/DwarfTypes.mli
diff options
context:
space:
mode:
Diffstat (limited to 'debug/DwarfTypes.mli')
-rw-r--r--debug/DwarfTypes.mli8
1 files changed, 7 insertions, 1 deletions
diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli
index 6c0af52b..96c763b3 100644
--- a/debug/DwarfTypes.mli
+++ b/debug/DwarfTypes.mli
@@ -248,7 +248,13 @@ type location_entry =
}
type dw_locations = int * location_entry list
-type debug_entries = (string * int * dw_entry * dw_locations) list
+type diab_entries = (string * int * dw_entry * dw_locations) list
+
+type gnu_entries = dw_entry * dw_locations
+
+type debug_entries =
+ | Diab of diab_entries
+ | Gnu of gnu_entries
(* The target specific functions for printing the debug information *)
module type DWARF_TARGET=