diff options
Diffstat (limited to 'src/dotty/tools/dotc/reporting/StoreReporter.scala')
-rw-r--r-- | src/dotty/tools/dotc/reporting/StoreReporter.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/reporting/StoreReporter.scala b/src/dotty/tools/dotc/reporting/StoreReporter.scala index ea8199102..2864c01f8 100644 --- a/src/dotty/tools/dotc/reporting/StoreReporter.scala +++ b/src/dotty/tools/dotc/reporting/StoreReporter.scala @@ -29,5 +29,8 @@ class StoreReporter extends Reporter { } override def flush()(implicit ctx: Context) = - if (infos != null) infos foreach ctx.reporter.report + if (infos != null) { + infos foreach ctx.reporter.report + infos = null + } } |