From b1eae8d782b9e20d323ad7538eb935b5594dbfc9 Mon Sep 17 00:00:00 2001
From: Christopher
Date: Tue, 12 Jul 2016 10:40:41 +0100
Subject: sail-to-lem and lem library fixes

---
 src/test/power.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/test')

diff --git a/src/test/power.sail b/src/test/power.sail
index 3c9a13e3..20e23cb9 100644
--- a/src/test/power.sail
+++ b/src/test/power.sail
@@ -490,7 +490,7 @@ function forall Nat 'n. (bit['n]) zero_or_undef ((bit['n]) x) = {
 scattered function unit execute
 scattered typedef ast = const union
 
-val bit[32] -> ast effect pure decode
+val bit[32] -> ast effect {escape} decode
 
 scattered function ast decode
 
-- 
cgit v1.2.3