diff options
author | Martin Odersky <odersky@gmail.com> | 2013-12-16 16:05:15 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-12-16 16:05:15 +0100 |
commit | a0d9e2692f680c8ee0a93e87a5ceba93e081908b (patch) | |
tree | e1acef51008367e59c452cfd398ca4fcca30a62b | |
parent | 24db65e0544d5d5076f03219464ce91f3ae99d04 (diff) | |
download | dotty-a0d9e2692f680c8ee0a93e87a5ceba93e081908b.tar.gz dotty-a0d9e2692f680c8ee0a93e87a5ceba93e081908b.tar.bz2 dotty-a0d9e2692f680c8ee0a93e87a5ceba93e081908b.zip |
Fix to prompting.
-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() } } |