diff options
| author | Paolo G. Giarrusso <p.giarrusso@gmail.com> | 2016-10-07 16:22:32 +0200 |
|---|---|---|
| committer | Paolo G. Giarrusso <p.giarrusso@gmail.com> | 2016-10-07 16:22:32 +0200 |
| commit | ddbbb8350ec210d63b552ee133cf872ff95eaea2 (patch) | |
| tree | b15dd8498b4dbc3ba249de63040fffe8ae2fe1f7 /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
| parent | e79ec993834d019d27e9337ac7604d0bb1ea7f78 (diff) | |
| download | dotty-ddbbb8350ec210d63b552ee133cf872ff95eaea2.tar.gz dotty-ddbbb8350ec210d63b552ee133cf872ff95eaea2.tar.bz2 dotty-ddbbb8350ec210d63b552ee133cf872ff95eaea2.zip | |
Fix non-spurious unchecked warning
Diffstat (limited to 'src/dotty/tools/dotc/printing/RefinedPrinter.scala')
0 files changed, 0 insertions, 0 deletions