From 79ecf8b83b06a6bd1330e1f243826cbe951a9e7d Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 12 Jul 2018 15:54:11 +0100
Subject: update arm and mips models for new type of write_ram builtin. Also
 fix c and interpreter implementations of same.

---
 aarch64/no_devices.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'aarch64')

diff --git a/aarch64/no_devices.sail b/aarch64/no_devices.sail
index 882aa6b3..57dad4e2 100644
--- a/aarch64/no_devices.sail
+++ b/aarch64/no_devices.sail
@@ -1,6 +1,6 @@
 
 val ___WriteRAM = "write_ram" : forall 'n 'm.
-  (atom('m), atom('n), bits('m), bits('m), bits(8 * 'n)) -> unit effect {wmem}
+  (atom('m), atom('n), bits('m), bits('m), bits(8 * 'n)) -> bool effect {wmem}
 
 val __InitRAM : forall 'm. (atom('m), int, bits('m), bits(8)) -> unit
 
@@ -25,7 +25,7 @@ val __WriteRAM : forall 'n 'm.
 
 function __WriteRAM(addr_length, bytes, hex_ram, addr, data) =
 {
-  ___WriteRAM(addr_length, bytes, hex_ram, addr, data)
+  let _ = ___WriteRAM(addr_length, bytes, hex_ram, addr, data) in ()
 }
 
 function __TraceMemoryWrite(bytes, addr, data) = ()
-- 
cgit v1.2.3