diff options
| author | Robert Norton | 2016-01-29 13:56:38 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-01-29 13:56:38 +0000 |
| commit | 6528e71a6a80e43de04a00babedd89bb8cf98c77 (patch) | |
| tree | 352b8d72d3ff7bb375d7e0282a9594df914d8882 /src | |
| parent | 2cb93663892c83bf33686669227048e37fc48416 (diff) | |
fix typo in kathy's last commit.
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 71688ff6..d333873b 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -1137,7 +1137,7 @@ let clear_low_order_bits_of_address a = end end -val translate_address : string -> addres -> maybe address * maybe nat +val translate_address : string -> address -> maybe address * maybe nat val byte_list_of_memory_value : end_flag -> memory_value -> maybe (list byte) let byte_list_of_memory_value endian mv = |