diff options
| author | Alasdair | 2019-04-04 23:52:17 +0100 |
|---|---|---|
| committer | Alasdair | 2019-04-04 23:53:32 +0100 |
| commit | 8dca40d218b5fbc0956b29887d9c1065b1c1757f (patch) | |
| tree | f5434e3fa535fe41834473c65b356768362eb7f2 /aarch64 | |
| parent | 590039d3827377fa79ff537ba97488545ebc58e5 (diff) | |
AArch64: Update write_mem_val to write_mem
Diffstat (limited to 'aarch64')
| -rw-r--r-- | aarch64/aarch64_extras.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/aarch64_extras.lem b/aarch64/aarch64_extras.lem index d22ece00..b662e230 100644 --- a/aarch64/aarch64_extras.lem +++ b/aarch64/aarch64_extras.lem @@ -78,7 +78,7 @@ val write_ram : forall 'rv 'e. integer -> integer -> list bitU -> list bitU -> list bitU -> monad 'rv unit 'e let write_ram addrsize size hexRAM address value = write_mem_ea Write_plain address size >> - write_mem_val value >>= fun _ -> + write_mem Write_plain address size value >>= fun _ -> return () val read_ram : forall 'rv 'e. |