diff options
| author | schinz <schinz@epfl.ch> | 2003-03-12 14:17:30 +0000 |
|---|---|---|
| committer | schinz <schinz@epfl.ch> | 2003-03-12 14:17:30 +0000 |
| commit | fafd175ca9a4acf6c06cccfdd59b11cfdc545bc4 (patch) | |
| tree | 85324e3661fd704deabee9d4c51b326488133763 /sources/scalac/Global.java | |
| parent | b094b0ef63a215ba9e1645d836df33957cecc857 (diff) | |
| download | scala-fafd175ca9a4acf6c06cccfdd59b11cfdc545bc4.tar.gz scala-fafd175ca9a4acf6c06cccfdd59b11cfdc545bc4.tar.bz2 scala-fafd175ca9a4acf6c06cccfdd59b11cfdc545bc4.zip | |
- automatically flush the debug tree printer
Diffstat (limited to 'sources/scalac/Global.java')
| -rw-r--r-- | sources/scalac/Global.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scalac/Global.java b/sources/scalac/Global.java index 33cd9e3010..233b413ec1 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -162,7 +162,7 @@ public class Global { this.printer = new TextTreePrinter(printStream); else this.printer = new HTMLTreePrinter(printStream); - this.debugPrinter = new TextTreePrinter(System.err); + this.debugPrinter = new TextTreePrinter(System.err, true); this.freshNameCreator = new FreshNameCreator(); this.make = new TreeCreator(); this.currentPhase = PhaseDescriptor.INITIAL; |