pretty-print + whitespace trimming

1 files changed, 2 insertions, 0 deletions

diff --git a/sources/scalac/Global.java b/sources/scalac/Global.java
index 74c8dd58a7..1fd795f0b9 100644
--- a/sources/scalac/Global.java
+++ b/sources/scalac/Global.java
@@ -61,6 +61,7 @@ public abstract class Global {
     public final boolean explaintypes;
     public final boolean uniqid;
     public final boolean newMatch;
+    public final boolean xmlPreserveWS;
 
     public final boolean printtypes;
     public final boolean printtokens;
@@ -215,6 +216,7 @@ public abstract class Global {
         this.debug = args.debug.value;
         this.uniqid = args.uniqid.value;
         this.newMatch = args.Xnewmatch.value;
+        this.xmlPreserveWS = args.XpreserveWS.value;
         this.explaintypes = args.explaintypes.value;
         this.printtypes = args.types.value;
         this.printtokens = args.print.tokens;