diff options
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index 6a70990b..da086524 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -350,7 +350,7 @@ val decode_to_istate : context -> opcode -> i_state_or_error val decode_to_instruction : context -> opcode -> instruction_or_decode_error (*Function to generate the state to run from an instruction form; is always an Instr*) -val instruction_to_istate : context -> instruction -> i_state_or_error +val instruction_to_istate : context -> instruction -> instruction_state (*i_state_or_error*) (* Augment an address by the given value *) (*val add_to_address : value -> integer -> value |