@@ -391,11 +391,11 @@ //-------------------------------- class IndexSetIterator -------------------- // An iterator for IndexSets. -class IndexSetIterator VALUE_OBJ_CLASS_SPEC { +class IndexSetIterator { friend class IndexSet; public: // We walk over the bits in a word in chunks of size window_size.