Delete tokenlist.h