Update intset.h

Destructor