diff options
author | Martin Odersky <odersky@gmail.com> | 2016-09-04 18:39:50 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-10-02 16:11:21 +0200 |
commit | be53234352f75aca456ed131163b45230e4638af (patch) | |
tree | c30f661ed056bf81df1dfe9494b8f92bcb733330 /src/dotty/tools/dotc/typer | |
parent | 379bb24e55d88434faa32d2d324fcadb42af960d (diff) | |
download | dotty-be53234352f75aca456ed131163b45230e4638af.tar.gz dotty-be53234352f75aca456ed131163b45230e4638af.tar.bz2 dotty-be53234352f75aca456ed131163b45230e4638af.zip |
Add comment missing from last PR
Diffstat (limited to 'src/dotty/tools/dotc/typer')
0 files changed, 0 insertions, 0 deletions