diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/run_with_elf.ml | 4 | ||||
| -rw-r--r-- | src/lem_interp/run_with_elf_cheri.ml | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/lem_interp/run_with_elf.ml b/src/lem_interp/run_with_elf.ml index 9879e353..81e6bd6e 100644 --- a/src/lem_interp/run_with_elf.ml +++ b/src/lem_interp/run_with_elf.ml @@ -1160,9 +1160,9 @@ let rec fde_loop count context model mode track_dependencies addr_trans = (instruction,istate) | Decode_error d -> (match d with - | Sail_impl_base.Unsupported_instruction_error instr -> + | Interp_interface.Unsupported_instruction_error instr -> errorf "\n**** Encountered unsupported instruction %s ****\n" (Printing_functions.instruction_to_string instr) - | Sail_impl_base.Not_an_instruction_error op -> + | Interp_interface.Not_an_instruction_error op -> (match op with | Opcode bytes -> errorf "\n**** Encountered non-decodeable opcode: %s ****\n" (Printing_functions.byte_list_to_string bytes)) diff --git a/src/lem_interp/run_with_elf_cheri.ml b/src/lem_interp/run_with_elf_cheri.ml index be3bff6f..40a6495b 100644 --- a/src/lem_interp/run_with_elf_cheri.ml +++ b/src/lem_interp/run_with_elf_cheri.ml @@ -1250,9 +1250,9 @@ let rec fde_loop count context model mode track_dependencies addr_trans = (instruction,istate) | Decode_error d -> (match d with - | Sail_impl_base.Unsupported_instruction_error instr -> + | Interp_interface.Unsupported_instruction_error instr -> errorf "\n**** Encountered unsupported instruction %s ****\n" (Printing_functions.instruction_to_string instr) - | Sail_impl_base.Not_an_instruction_error op -> + | Interp_interface.Not_an_instruction_error op -> (match op with | Opcode bytes -> errorf "\n**** Encountered non-decodeable opcode: %s ****\n" (Printing_functions.byte_list_to_string bytes)) |