// and replace if we are generating a different language..
- this.timerPrint("Tokenized");
+ this.timerPrint("Tokenized tokens:" + toks.length);
//var ts = new TokenStream(toks);
//print(JSON.stringify(toks, null,4 )); Seed.quit();
var ts = new Collapse(toks);