diff options
Diffstat (limited to 'debug/Debug.mli')
| -rw-r--r-- | debug/Debug.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debug/Debug.mli b/debug/Debug.mli index ae32af5b..e712874c 100644 --- a/debug/Debug.mli +++ b/debug/Debug.mli @@ -12,6 +12,7 @@ open C open Camlcoq +open DwarfTypes val init: unit -> unit @@ -23,3 +24,5 @@ val set_member_offset: ident -> string -> int -> unit val set_bitfield_offset: ident -> string -> int -> string -> int -> unit val insert_global_declaration: Env.t -> globdecl -> unit val add_fun_addr: atom -> (int * int) -> unit +val generate_debug_info: unit -> dw_entry option +val all_files_iter: (string -> unit) -> unit |