From 1bad912e1300e2d047db67e6f2252993d35a61b8 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 10 Oct 2014 16:52:32 +0100
Subject: make run_power.ml compile again

---
 src/test/run_power.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/test/run_power.ml b/src/test/run_power.ml
index 624b577f..5b570de7 100644
--- a/src/test/run_power.ml
+++ b/src/test/run_power.ml
@@ -39,7 +39,7 @@ let add_mem byte addr =
   let addr = big_int_to_vec true addr (Big_int.big_int_of_int 64) in
   (*Printf.printf "adder is %s byte is %s\n" (val_to_string addr) (string_of_int byte);*)
   match addr with
-    | Bytevector(addr,_,_) -> mem := Mem.add addr byte !mem
+    | Bytevector addr -> mem := Mem.add addr byte !mem
 ;;
 
 let add_section s =
@@ -159,7 +159,7 @@ let run () =
     else 
       let location = big_int_to_vec true loc (Big_int.big_int_of_int 64) in
       match location with
-	| Bytevector(location,_,_) ->
+	| Bytevector location ->
 	  (Mem.find location !mem)::(reading (Big_int.add_big_int loc Big_int.unit_big_int) (length - 1)) in
   mainaddr := "0x" ^ (List.fold_left (^) "" (List.map (Printf.sprintf "%02x") (reading (Big_int.big_int_of_int start_address) 8)));
 (*  close_in ic;*)
-- 
cgit v1.2.3