diff options
-rw-r--r-- | src/dotty/tools/dotc/reporting/Reporter.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/reporting/Reporter.scala b/src/dotty/tools/dotc/reporting/Reporter.scala index 7adeeac1c..766009a8b 100644 --- a/src/dotty/tools/dotc/reporting/Reporter.scala +++ b/src/dotty/tools/dotc/reporting/Reporter.scala @@ -159,7 +159,8 @@ trait Reporting { this: Context => logctx.log(s"${base.indentTab * base.indent}${trailing(result)}$note") finalized = true } - try { + if (ctx.mode.is(Mode.Printing)) op + else try { logctx.log(s"${base.indentTab * base.indent}$leading") base.indent += 1 val res = op |