summaryrefslogtreecommitdiff
path: root/src/test/test1.sail
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/test1.sail')
-rw-r--r--src/test/test1.sail2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/test1.sail b/src/test/test1.sail
index c035ea4b..0cb592d8 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -31,5 +31,5 @@ end ast
function bit sw s = switch s { case 0 -> bitzero }
-function bit main _ = {sw(0); v1[0] }
+function bit main _ = {ignore(sw(0)); v1[0] }