diff options
Diffstat (limited to 'src/dotty/tools')
-rw-r--r-- | src/dotty/tools/dotc/reporting/ConsoleReporter.scala | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/reporting/ConsoleReporter.scala b/src/dotty/tools/dotc/reporting/ConsoleReporter.scala index 6b3f08cf0..50bbdb671 100644 --- a/src/dotty/tools/dotc/reporting/ConsoleReporter.scala +++ b/src/dotty/tools/dotc/reporting/ConsoleReporter.scala @@ -54,11 +54,10 @@ class ConsoleReporter( if (response == 'a' || response == 's') { (new Exception).printStackTrace() if (response == 'a') - sys exit 1 - - writer.print("\n") - writer.flush() + sys.exit(1) } + writer.print("\n") + writer.flush() } } |