*/
public bool read_punc (TokenStream stream, TokenArray tokens)
{
- var found = "";
+ string found = "";
var name;
- while (!stream.look().eof && Lang.punc(found + stream.look())) {
+ while (!stream.look().eof && Lang.punc(found + stream.look()).length > 0) {
found += stream.next();
}