diff options
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(); |