diff --git a/common/new.cc b/common/new.cc index 66962f7e76143a3b434118deafc53833ce6b76cd..d9552aeea3ffb5f945e2e4c81ddb51fa984e668f 100644 --- a/common/new.cc +++ b/common/new.cc @@ -34,11 +34,21 @@ void operator delete(void *ptr) throw() Free(ptr); } +void operator delete(void *ptr, std::size_t) throw() +{ + Free(ptr); +} + void operator delete[](void *ptr) throw() { if (ptr != static_cast<void*>(&dummy)) Free(ptr); } +void operator delete[](void *ptr, std::size_t) throw() +{ + if (ptr != static_cast<void*>(&dummy)) Free(ptr); +} + /**************************************************************************/ #ifdef MEMORY_DEBUG