Update HashSet.h