diff options
Diffstat (limited to 'tests/patmat/t7466.check')
| -rw-r--r-- | tests/patmat/t7466.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/patmat/t7466.check b/tests/patmat/t7466.check index 35227484e..af596399b 100644 --- a/tests/patmat/t7466.check +++ b/tests/patmat/t7466.check @@ -1 +1 @@ -8: Pattern Match Exhaustivity: (_, _) +8: Pattern Match Exhaustivity: (true, _), (false, _), (_, true), (_, false) |