diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/power.sail | 2 |
1 files changed, 1 insertions, 1 deletions
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 |