Update src/SymbolTable.h