Update intset.cpp