From 98cced7ef3cf89333e0e09d4ebf9ca3262b4e947 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 31 Jul 2019 15:47:20 +0100
Subject: Fix failing SMT test

---
 test/smt/store_load_scattered.sat.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/smt/store_load_scattered.sat.sail b/test/smt/store_load_scattered.sat.sail
index d556295f..c039e87c 100644
--- a/test/smt/store_load_scattered.sat.sail
+++ b/test/smt/store_load_scattered.sat.sail
@@ -6,7 +6,7 @@ $include "test/arch.sail"
 
 scattered union ast
 
-val execute : ast -> bool
+val execute : ast -> bool effect {rmem, rreg, wmv, wreg}
 
 union clause ast = LOAD : (bits(2), bits(2))
 
-- 
cgit v1.2.3