diff options
| author | Robert Norton | 2016-10-11 16:58:36 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-10-11 16:58:36 +0100 |
| commit | b7a3e2ad400ea7e57bdbf52419161bd6ee9c0dd9 (patch) | |
| tree | 7d7cd967a92603d30c5f6e20d8ffcc8e1ce951e3 /src | |
| parent | 692969175a04856f32efdf7ec45b4a8146f217dc (diff) | |
Update run_with_elf* for new linksem sail_interface
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/run_with_elf.ml | 2 | ||||
| -rw-r--r-- | src/lem_interp/run_with_elf_cheri.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/run_with_elf.ml b/src/lem_interp/run_with_elf.ml index 72d4c6e1..224f2860 100644 --- a/src/lem_interp/run_with_elf.ml +++ b/src/lem_interp/run_with_elf.ml @@ -601,7 +601,7 @@ let initial_system_state_of_elf_file name = match Sail_interface.populate_and_obtain_global_symbol_init_info name with | Error.Fail s -> failwith ("populate_and_obtain_global_symbol_init_info: " ^ s) | Error.Success - ((elf_epi: Sail_interface.executable_process_image), + (_, (elf_epi: Sail_interface.executable_process_image), (symbol_map: Elf_file.global_symbol_init_info)) -> let (segments, e_entry, e_machine) = diff --git a/src/lem_interp/run_with_elf_cheri.ml b/src/lem_interp/run_with_elf_cheri.ml index aa47a892..71d173d8 100644 --- a/src/lem_interp/run_with_elf_cheri.ml +++ b/src/lem_interp/run_with_elf_cheri.ml @@ -676,7 +676,7 @@ let initial_system_state_of_elf_file name = match Sail_interface.populate_and_obtain_global_symbol_init_info name with | Error.Fail s -> failwith ("populate_and_obtain_global_symbol_init_info: " ^ s) | Error.Success - ((elf_epi: Sail_interface.executable_process_image), + (_, (elf_epi: Sail_interface.executable_process_image), (symbol_map: Elf_file.global_symbol_init_info)) -> let (segments, e_entry, e_machine) = |