Get the actual start address instead of the address of the start address

1 files changed, 3 insertions, 4 deletions

diff --git a/src/test/run_power.ml b/src/test/run_power.ml
index 41282b67..268a6a8f 100644
--- a/src/test/run_power.ml
+++ b/src/test/run_power.ml
@@ -175,11 +175,10 @@ let run () =
       match location with
 	| Bytevector location ->
 	  (Mem.find location !mem)::(reading (Big_int.add_big_int loc Big_int.unit_big_int) (length - 1)) in
+  let addr = reading (Big_int.big_int_of_int start_address) 8 in
   let _ = begin
-    startaddr := (match 
-	(big_int_to_vec true (Big_int.big_int_of_int start_address) (Big_int.big_int_of_int 64)) with
-	  | Bytevector location -> location);
-    mainaddr := "0x" ^ (List.fold_left (^) "" (List.map (Printf.sprintf "%02x") (reading (Big_int.big_int_of_int start_address) 8)));
+    startaddr := addr;
+    mainaddr := "0x" ^ (List.fold_left (^) "" (List.map (Printf.sprintf "%02x") addr));
   end in
   let reg = init_reg () in
   (* entry point: unit -> unit fde *)