diff options
| author | Peter Sewell | 2014-11-23 18:06:29 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-23 18:06:29 +0000 |
| commit | 103ff09b139f16901a22e5949beb2674d96d6b5b (patch) | |
| tree | a0909630606e49e1fd4e315461cf6f0a7b4cac05 /src | |
| parent | 6f059ce2321b7fbfea5c55db30677a5dbf1bea1f (diff) | |
fix register-from-address start int
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 b9e55336..a5966c6a 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -648,7 +648,7 @@ val register_value_of_address : address -> register_value let register_value_of_address (Address bytes) : register_value = <| rv_bits = List.concatMap (fun (Byte bs) -> List.map bit_lifted_of_bit bs) bytes; rv_dir = D_increasing; - rv_start = 64; |> + rv_start = 0; |> |