diff options
| author | Kathy Gray | 2014-10-10 16:52:32 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-10-10 16:52:32 +0100 |
| commit | 1bad912e1300e2d047db67e6f2252993d35a61b8 (patch) | |
| tree | db7aa2b6e6a7ef4ffb1fbde4cf405ac4b977f409 /src | |
| parent | 0c0566cd0afb4adcb415125f6d5ce7545b6d76f6 (diff) | |
make run_power.ml compile again
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/run_power.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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;*) |