Update intset.cpp

Edited operator*'s definition