From 8dca40d218b5fbc0956b29887d9c1065b1c1757f Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Thu, 4 Apr 2019 23:52:17 +0100
Subject: AArch64: Update write_mem_val to write_mem

---
 aarch64/aarch64_extras.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
-- 
cgit v1.2.3