Edited the intset.cpp