diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-27 16:07:56 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:35 +0200 |
| commit | f5ad8492d076051c8805370c05610d8294ccb241 (patch) | |
| tree | c8d2aa477d5927bfb14c1e8f6c0417a6d60cab24 /src/dotty/tools/dotc/reporting/ConsoleReporter.scala | |
| parent | 24bcdfdcdaa04e3cf2aa3c7289415f8a98d3d376 (diff) | |
| download | dotty-f5ad8492d076051c8805370c05610d8294ccb241.tar.gz dotty-f5ad8492d076051c8805370c05610d8294ccb241.tar.bz2 dotty-f5ad8492d076051c8805370c05610d8294ccb241.zip | |
Fix reporting of ErrorTypes in highlighted segments
Diffstat (limited to 'src/dotty/tools/dotc/reporting/ConsoleReporter.scala')
| -rw-r--r-- | src/dotty/tools/dotc/reporting/ConsoleReporter.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/reporting/ConsoleReporter.scala b/src/dotty/tools/dotc/reporting/ConsoleReporter.scala index 321559e77..261357924 100644 --- a/src/dotty/tools/dotc/reporting/ConsoleReporter.scala +++ b/src/dotty/tools/dotc/reporting/ConsoleReporter.scala @@ -4,7 +4,7 @@ package reporting import scala.collection.mutable import util.SourcePosition -import core.Contexts._ +import core.Contexts._, core.Decorators._ import Reporter._ import java.io.{ BufferedReader, IOException, PrintWriter } import scala.reflect.internal.util._ |