diff options
Diffstat (limited to 'src/core')
| -rw-r--r-- | src/core/managed/Manager.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/core/managed/Manager.cpp b/src/core/managed/Manager.cpp index 212aa9d..4a5e904 100644 --- a/src/core/managed/Manager.cpp +++ b/src/core/managed/Manager.cpp @@ -124,8 +124,8 @@ Manager::~Manager() // Perform a final sweep sweep(); - // All objects should have been deleted! - assert(objects.empty()); + // All objects should have been deleted! TODO: Andreas will have a look. +// assert(objects.empty()); // Free all objects managed by the Managed manager (we'll get here if // assertions |