1 files changed, 2 insertions, 2 deletions
diff --git a/src/test/pattern.sail b/src/test/pattern.sail
index 9a71d0e3..8cdc7a3c 100644
--- a/src/test/pattern.sail
+++ b/src/test/pattern.sail
@@ -8,11 +8,11 @@ function nat main _ = {
   (* works - x and y are set to 42 *)
   n := 1;
   y :=
-  ignore((switch n {
+  (switch n {
     case 0 -> { x := 21; x }
     case 1 -> { x := 42; x } 
     case x -> { x := 99; x }
-  })); 
+  }); 
 
   (* doesn't work - main returns 1 instead of 99 *)
   n := 3;