From 103ff09b139f16901a22e5949beb2674d96d6b5b Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Sun, 23 Nov 2014 18:06:29 +0000
Subject: fix register-from-address start int

---
 src/lem_interp/interp_interface.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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; |>
 
 
 
-- 
cgit v1.2.3