diff options
Diffstat (limited to 'tests/patmat/patmat-indent.check')
| -rw-r--r-- | tests/patmat/patmat-indent.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/patmat/patmat-indent.check b/tests/patmat/patmat-indent.check index 79845ebcf..4f0ec4dd9 100644 --- a/tests/patmat/patmat-indent.check +++ b/tests/patmat/patmat-indent.check @@ -1,3 +1,3 @@ 9: Pattern Match Exhaustivity: Nil -23: Pattern Match Exhaustivity: _: Boolean +23: Pattern Match Exhaustivity: true, false 27: Pattern Match Exhaustivity: _: Int |