diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-04-09 11:38:10 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-04-09 11:38:10 +0200 |
| commit | 9b42bdc7be28737be574980fea0af50e35f31a81 (patch) | |
| tree | 49a3e17a5dd4d9f413a5449c9af99a1c227375cd /src/dotty/tools/dotc/core/Types.scala | |
| parent | 31a4611cb0a13d05068c93406d2f8c1be31d45e2 (diff) | |
| download | dotty-9b42bdc7be28737be574980fea0af50e35f31a81.tar.gz dotty-9b42bdc7be28737be574980fea0af50e35f31a81.tar.bz2 dotty-9b42bdc7be28737be574980fea0af50e35f31a81.zip | |
Fixes to originalName and allOverrddenSymbols.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions