From cae1060201f453d9d5e2941ed18699ab2a36990f Mon Sep 17 00:00:00 2001
From: Andreas Stöckel <astoecke@techfak.uni-bielefeld.de>
Date: Sat, 7 Feb 2015 00:16:21 +0100
Subject: Removed double-removal of object from the "marked" list

---
 src/core/managed/Manager.cpp | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src')

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();
-- 
cgit v1.2.3