diff options
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 |