diff options
| author | Andrew Waterman | 2016-10-04 17:30:46 -0700 |
|---|---|---|
| committer | Andrew Waterman | 2016-10-04 17:30:46 -0700 |
| commit | c24fc9b93d440cd5604b5c83e5b79b80d9c7604c (patch) | |
| tree | 350d0dde88cc6fb53bedbd266f533090d4f9adc4 /project | |
| parent | 095fd80cc1250f5ec242fde6ccc9271665f784b2 (diff) | |
Suppress some scala compiler warnings
@unchecked is better than matching on _ in this case, because we want to
fail on an unexpected case, rather than silently proceed.
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions