diff options
author | Martin Odersky <odersky@gmail.com> | 2013-02-11 14:44:39 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-02-11 14:44:39 +0100 |
commit | 952d4a29c3e55d44defa70ab15f0137a51320de2 (patch) | |
tree | dc64017d35acbdba6f581a8f15d9aefb034dd5a8 /src/dotty/tools/dotc/core | |
parent | d0d9af16165a62a438d77c81f8a22488a87b87cd (diff) | |
download | dotty-952d4a29c3e55d44defa70ab15f0137a51320de2.tar.gz dotty-952d4a29c3e55d44defa70ab15f0137a51320de2.tar.bz2 dotty-952d4a29c3e55d44defa70ab15f0137a51320de2.zip |
Avoiding an unchecked warning in a switch.
Diffstat (limited to 'src/dotty/tools/dotc/core')
0 files changed, 0 insertions, 0 deletions