void spaces () {
var ar = new Gee.ArrayList<Token>()
- var pref = [];
+ var pref = new Gee.ArrayList<Token>();
- var tok;
+ Token tok;
- for (var i = 0; i < this.tokens.length; i ++) {
+ for (var i = 0; i < this.tokens.size; i ++) {
tok = this.tokens[i];
if (tok.is("COMM") || tok.is("WHIT")) {
pref.push(tok);