diff options
Diffstat (limited to 'checklink/Frameworks.ml')
-rw-r--r-- | checklink/Frameworks.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/checklink/Frameworks.ml b/checklink/Frameworks.ml index f35672df..4054b681 100644 --- a/checklink/Frameworks.ml +++ b/checklink/Frameworks.ml @@ -38,6 +38,7 @@ type e_framework = { chkd_bytes_list: (int32 * int32 * int * byte_chunk_desc) list; chkd_fun_syms: bool array; chkd_data_syms: bool array; + section_map: string StringMap.t; } module PosOT = struct @@ -104,6 +105,11 @@ let log = { set = (fun l ef -> { ef with log = l }); } +let section_map = { + get = (fun ef -> ef.section_map); + set = (fun m ef -> { ef with section_map = m }); +} + let ident_to_sym_ndx = { get = (fun sf -> sf.ident_to_sym_ndx); set = (fun i sf -> { sf with ident_to_sym_ndx = i }); |