Update intset.cpp

Destructor