diff options
| author | Kathy Gray | 2016-04-27 14:33:33 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-04-27 14:33:43 +0100 |
| commit | 919397ebfce5aad56c47a10e272b148ff6b5e274 (patch) | |
| tree | 9a473d9a394e8240db52ece799d3989c9bc247b2 /src | |
| parent | 654e9fbc68f6e253af41e91bb91edeaba204a9b8 (diff) | |
Make run_with_elf compile again
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/run_with_elf.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/run_with_elf.ml b/src/lem_interp/run_with_elf.ml index 5ceff43a..7c0fa576 100644 --- a/src/lem_interp/run_with_elf.ml +++ b/src/lem_interp/run_with_elf.ml @@ -938,7 +938,7 @@ let rec fde_loop count context model mode track_dependencies opcode addr_trans = interactf "\n**** instruction %d from address %s ****\n" count (Printing_functions.register_value_to_string (get_pc_address model)); if !break_point && count = !break_instr then begin break_point := false; eager_eval := false end; - let (instruction,istate) = match Interp_inter_imp.decode_to_istate context opcode with + let (instruction,istate) = match Interp_inter_imp.decode_to_istate context None opcode with | Instr(instruction,istate) -> interactf "\n**** Running: %s ****\n" (Printing_functions.instruction_to_string instruction); (instruction,istate) |