diff options
author | Martin Odersky <odersky@gmail.com> | 2003-06-04 14:53:23 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2003-06-04 14:53:23 +0000 |
commit | 3a593c580c9a23b3654ea3391fb22afa85db0697 (patch) | |
tree | 193a2614a7a55cd4e5304a22e7761c88ba23f6e6 /sources/scalac/Global.java | |
parent | 6af6dae0df106de569e9b9cf503b3350722e58eb (diff) | |
download | scala-3a593c580c9a23b3654ea3391fb22afa85db0697.tar.gz scala-3a593c580c9a23b3654ea3391fb22afa85db0697.tar.bz2 scala-3a593c580c9a23b3654ea3391fb22afa85db0697.zip |
*** empty log message ***
Diffstat (limited to 'sources/scalac/Global.java')
-rw-r--r-- | sources/scalac/Global.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sources/scalac/Global.java b/sources/scalac/Global.java index cabac41a66..c74421f6a0 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -36,6 +36,7 @@ public class Global { public final boolean nopredefs; //public final boolean optimize; public final boolean debug; + public final boolean explaintypes; public final boolean uniqid; public final boolean printtypes; @@ -145,6 +146,7 @@ public class Global { //this.optimize = args.optimize.optimize; this.debug = args.debug.value; this.uniqid = args.uniqid.value; + this.explaintypes = args.explaintypes.value; this.printtypes = args.types.value; this.printtokens = args.print.tokens; this.classPath = args.classpath(); |