diff options
author | Martin Odersky <odersky@gmail.com> | 2014-02-10 11:10:20 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-02-10 11:13:34 +0100 |
commit | 18ae13dcf4f5d40d528e2bcf43a19e84bf475084 (patch) | |
tree | 8728df0e05fbec0bbe1451196a987c5e446d3f5e /src/dotty/tools/dotc/core/Types.scala | |
parent | f4e9a881a561e28900becc7deea520b43e57fb31 (diff) | |
download | dotty-18ae13dcf4f5d40d528e2bcf43a19e84bf475084.tar.gz dotty-18ae13dcf4f5d40d528e2bcf43a19e84bf475084.tar.bz2 dotty-18ae13dcf4f5d40d528e2bcf43a19e84bf475084.zip |
Make Definitions load all symbols in current runId.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions