void PoolBase::destroy_all()
{
if(object_count>0)
- IO::print(IO::cerr, "Warning: pool is being destroyed but has %d live objects", object_count);
+ IO::print(IO::cerr, "Warning: pool is being destroyed but has %d live objects\n", object_count);
unsigned block_count = capacity/BLOCK_SIZE;
for(unsigned i=0; i<block_count; ++i)