diff options
Diffstat (limited to 'src/test/run_power.ml')
| -rw-r--r-- | src/test/run_power.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/run_power.ml b/src/test/run_power.ml index e1039b0b..4526a79d 100644 --- a/src/test/run_power.ml +++ b/src/test/run_power.ml @@ -29,7 +29,7 @@ let mem = ref Mem.empty ;; let add_mem byte addr = assert(byte >= 0 && byte < 256); let vector = big_int_to_vec (Big_int.big_int_of_int byte) (Big_int.big_int_of_int 8) in - let key = Id_aux (Id "MEM", Unknown), addr in + let key = (*Id_aux (Id "MEM", Unknown), (* memory map no longer using id, just the address, since read/write id different *)*) addr in mem := Mem.add key vector !mem ;; |