update symbol table