diff --git a/src/rt/memory_region.cpp b/src/rt/memory_region.cpp index 7114aa5b324b..79936949cf80 100644 --- a/src/rt/memory_region.cpp +++ b/src/rt/memory_region.cpp @@ -139,9 +139,6 @@ memory_region::~memory_region() { if (!_hack_allow_leaks) { _srv->fatal(msg, __FILE__, __LINE__, "%d objects", _live_allocations); - } else { - _srv->warning(msg, __FILE__, __LINE__, - "%d objects", _live_allocations); } if (_synchronized) { _lock.unlock(); } }