From 911153ffefdfb090557c6dfcc5a5143419c34f56 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Thu, 25 Apr 2019 17:13:29 +0100
Subject: More read/write function updates

---
 lib/hol/sail2_prompt_monad.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/hol')

diff --git a/lib/hol/sail2_prompt_monad.lem b/lib/hol/sail2_prompt_monad.lem
index ade12347..896c1a9c 100644
--- a/lib/hol/sail2_prompt_monad.lem
+++ b/lib/hol/sail2_prompt_monad.lem
@@ -44,7 +44,7 @@ let inline read_memt = read_memtS
 let inline read_mem = read_memS
 let inline excl_result = excl_resultS
 let inline write_reg = write_regS
-let inline write_mem_ea wk addr sz = return ()
+let inline write_mem_ea wk addrsize addr sz = return ()
 let inline write_memt = write_memtS
 let inline write_mem = write_memS
 let barrier _ = return ()
-- 
cgit v1.2.3