diff options
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index 2e782f65..5c77e807 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -234,8 +234,7 @@ val num_to_bits : nat -> v_kind -> integer -> value val integer_of_byte_list : list word8 -> integer -(** proposed: *) -val nat_to_bytevector : nat -> list word8 +val byte_list_of_integer : integer -> integer -> list word8 (** propose to remove this: Function to decode an instruction and build the state to run it*) |