diff options
| author | Peter Sewell | 2014-11-18 18:40:48 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-18 18:40:48 +0000 |
| commit | 01616d17d447f87dcc9f68c7d8d5a12d0ed0b169 (patch) | |
| tree | afdb5f7b14c3f3013f97816e517ead4e07736aaf /src | |
| parent | f8cac1f866909aa8e7a81e22b58a34f1ce4268a2 (diff) | |
fix bad type annotation in interp_interface
Diffstat (limited to 'src')
| -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 ee2107d6..2e782f65 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -249,7 +249,7 @@ val decode_to_instruction : context -> value -> instruction_or_decode_error val instruction_to_istate : context -> instruction -> i_state_or_error (* Augment an address by the given value *) -val add_to_address : value -> nat -> value +val add_to_address : value -> integer -> value (* Coerce a Bitvector value (presumed a multiple of 8 bits long) to a Bytevector value *) val coerce_Bytevector_of_Bitvector : value -> value |