f3f0f52001-05-17Henrik Grubbström (Grubba) #pike __REAL_VERSION__ //constant delete=m_delete; constant Iterator = __builtin.multiset_iterator;