diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 14:33:15 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 17:18:07 +0200 |
commit | 012827a7cba40f434b9fc6ce1b46dc725473eae7 (patch) | |
tree | 35a1742582fafc3c83f581311453e9bf9211a8b1 /debug/Debug.mli | |
parent | d4c9a7c5b47670bad12d54a3fd4de0ad4eceb1ee (diff) | |
download | compcert-012827a7cba40f434b9fc6ce1b46dc725473eae7.tar.gz compcert-012827a7cba40f434b9fc6ce1b46dc725473eae7.zip |
Unified function for adding the atom identifier.
Instead of defining two functions for adding the mapping from atom
to debug id we use one function which then sets the corresponding
values.
Bug 17392.
Diffstat (limited to 'debug/Debug.mli')
-rw-r--r-- | debug/Debug.mli | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/debug/Debug.mli b/debug/Debug.mli index 577b0ef8..94862844 100644 --- a/debug/Debug.mli +++ b/debug/Debug.mli @@ -21,8 +21,7 @@ open BinNums type implem = { mutable init: string -> unit; - mutable atom_function: ident -> atom -> unit; - mutable atom_global_variable: ident -> atom -> unit; + mutable atom_global: ident -> atom -> unit; mutable set_composite_size: ident -> struct_or_union -> int option -> unit; mutable set_member_offset: ident -> string -> int -> unit; mutable set_bitfield_offset: ident -> string -> int -> string -> int -> unit; @@ -56,8 +55,7 @@ type implem = val implem: implem val init_compile_unit: string -> unit -val atom_function: ident -> atom -> unit -val atom_global_variable: ident -> atom -> unit +val atom_global: ident -> atom -> unit val set_composite_size: ident -> struct_or_union -> int option -> unit val set_member_offset: ident -> string -> int -> unit val set_bitfield_offset: ident -> string -> int -> string -> int -> unit |