diff options
| author | Robert Norton | 2016-12-02 13:45:42 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-12-02 13:45:42 +0000 |
| commit | 1442648380a2c7bd2feb43bb05413ac028c0f919 (patch) | |
| tree | 3c5c3792ef8913985e82936ebe236a3435843bd7 | |
| parent | dbb303e6623f23fd6a7ad331989d08f30e767548 (diff) | |
fix interpreter build following refactoring
| -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)) |