diff options
Diffstat (limited to 'src/test/pattern.sail')
| -rw-r--r-- | src/test/pattern.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/pattern.sail b/src/test/pattern.sail index 8cdc7a3c..bc04590d 100644 --- a/src/test/pattern.sail +++ b/src/test/pattern.sail @@ -11,7 +11,7 @@ function nat main _ = { (switch n { case 0 -> { x := 21; x } case 1 -> { x := 42; x } - case x -> { x := 99; x } + case z -> { x := 99; x } }); (* doesn't work - main returns 1 instead of 99 *) |