diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/elf_loader.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/elf_loader.ml b/src/elf_loader.ml index 83c36821..1be3b1d1 100644 --- a/src/elf_loader.ml +++ b/src/elf_loader.ml @@ -80,7 +80,8 @@ let read name = (elf_epi: Sail_interface.executable_process_image), (symbol_map: Elf_file.global_symbol_init_info)) -> - prerr_endline (Sail_interface.string_of_executable_process_image elf_epi); + (* XXX disabled because it crashes if entry_point overflows an ocaml int :-( + prerr_endline (Sail_interface.string_of_executable_process_image elf_epi);*) (elf_file, elf_epi, symbol_map) end in |