diff options
Diffstat (limited to 'src/elf_model/pre_main.ml')
| -rw-r--r-- | src/elf_model/pre_main.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/elf_model/pre_main.ml b/src/elf_model/pre_main.ml new file mode 100644 index 00000000..02eaf41c --- /dev/null +++ b/src/elf_model/pre_main.ml @@ -0,0 +1,8 @@ +(*Generated by Lem from pre_main.lem.*) +open Show + +open Elf_section_header + +(*val display : elf32_section_header_table -> string*) +let display = (listShow + instance_Show_Show_Elf_section_header_elf32_section_header_table_entry_dict) |