replace t by p

because yacc performs *p*arsing using *p*roduction rules, whereas *t*okens are the common object during lexing.