From 44e619d7e80e4f148febf21ebe5115dfdd56cf0f Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 12 Feb 2014 15:46:06 +0000
Subject: Checking assignment to a variable

---
 src/test/pattern.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/test')

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;
-- 
cgit v1.2.3