diff options
| -rw-r--r-- | src/core/managed/Manager.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/core/managed/Manager.cpp b/src/core/managed/Manager.cpp index 5f118b2..4743471 100644 --- a/src/core/managed/Manager.cpp +++ b/src/core/managed/Manager.cpp @@ -263,9 +263,6 @@ void Manager::deleteObject(Managed *o, ObjectDescriptor *descr) uids.erase(descr->uid); store.erase(o); events.erase(o); - - // Remove the Managed from the "marked" set - marked.erase(o); } purgeDeleted(); |