print("using MIN FILE %s\n", minfile);
if (str.length > 0) {
if (this.targetStream != null) {
- this.targetStream.write(("//" + file + "\n").data);
+ this.targetStream.write(("// " + file + "\n").data);
this.targetStream.write((str + "\n").data);
} else {
//print(sp.warnings.join("\n"));
- var outf = CompressWhite(new TokenStream(toks.tokens), this, this.keepWhite); // do not kill whitespace..
+ var outf = CompressWhite(new TokenStream(ts.toArray()), this, this.keepWhite); // do not kill whitespace..
print("RESULT: \n %s\n", outf);