diff options
author | Olivier Blanvillain <olivier.blanvillain@gmail.com> | 2016-09-23 10:01:07 +0200 |
---|---|---|
committer | Olivier Blanvillain <olivier.blanvillain@gmail.com> | 2016-09-23 10:01:59 +0200 |
commit | e11fc1677494dfeef004842dc728ca01898009ff (patch) | |
tree | f691e418bdb726dbc63a1e46a80706dcad1d2ac9 /src/dotty/tools/dotc/core/TypeApplications.scala | |
parent | 5d8f132b98ca10e47773275c7048ce132f5f197c (diff) | |
download | dotty-e11fc1677494dfeef004842dc728ca01898009ff.tar.gz dotty-e11fc1677494dfeef004842dc728ca01898009ff.tar.bz2 dotty-e11fc1677494dfeef004842dc728ca01898009ff.zip |
Clean up config.Printers imports
And remove the not used Printer#echo
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index af362f4da..f32a591a6 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -13,7 +13,7 @@ import NameOps._ import Flags._ import StdNames.tpnme import util.Positions.Position -import config.Printers._ +import config.Printers.core import collection.mutable import dotty.tools.dotc.config.Config import java.util.NoSuchElementException |