--- a/model/kingsley-alloc.cc Thu May 05 14:27:14 2011 +0200 +++ b/model/kingsley-alloc.cc Thu May 05 15:15:42 2011 +0200 @@ -228,6 +228,7 @@ { REPORT_FREE(buffer); MmapFree (buffer, size); + m_chunks.erase (i); return; } }