diff options
author | Martin Odersky <odersky@gmail.com> | 2015-09-24 16:20:57 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-01 19:33:25 +0200 |
commit | 3f4c6a2b63bf94526792d108eaffc761d7d19ee5 (patch) | |
tree | f3d29a437d633b9cff252d770c23667d07779e18 /src/dotty/tools/dotc/core | |
parent | c6b21267c1f96cf8708689319f884d7d5cc04284 (diff) | |
download | dotty-3f4c6a2b63bf94526792d108eaffc761d7d19ee5.tar.gz dotty-3f4c6a2b63bf94526792d108eaffc761d7d19ee5.tar.bz2 dotty-3f4c6a2b63bf94526792d108eaffc761d7d19ee5.zip |
Slight code refactoring
Avoid redundant computations when already in printing mode.
Diffstat (limited to 'src/dotty/tools/dotc/core')
0 files changed, 0 insertions, 0 deletions