diff options
author | paltherr <paltherr@epfl.ch> | 2004-06-17 09:11:09 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-06-17 09:11:09 +0000 |
commit | b64f685febe056c5d90c6bb1589edf0a7f09254a (patch) | |
tree | a41a6c2324f5caa7d5ee09bcfcfc3c0c5832e9a0 /sources/scalac/Global.java | |
parent | fa64b1f6b2d998caf925147427ac7fc3ab35f2f2 (diff) | |
download | scala-b64f685febe056c5d90c6bb1589edf0a7f09254a.tar.gz scala-b64f685febe056c5d90c6bb1589edf0a7f09254a.tar.bz2 scala-b64f685febe056c5d90c6bb1589edf0a7f09254a.zip |
- Adapted to new class scala.tools.util.debug.D...
- Adapted to new class scala.tools.util.debug.Debug
Diffstat (limited to 'sources/scalac/Global.java')
-rw-r--r-- | sources/scalac/Global.java | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/sources/scalac/Global.java b/sources/scalac/Global.java index 1fd795f0b9..9252c96c67 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -202,10 +202,9 @@ public abstract class Global { * @param interpret */ public Global(CompilerCommand args, boolean interpret) { - if (Global.instance != null) { // jaco bug: can't use assert here - new Error("Duplicate creation of Global").printStackTrace(); - System.exit(1); - }; + assert Debug.initialize() || true; + if (Global.instance != null) // jaco bug: can't use assert here + /* throw */ Debug.abort("duplicate creation of Global"); Global.instance = this; this.args = args; this.reporter = args.reporter(); |