summaryrefslogtreecommitdiff
path: root/src/core/managed/Managed.cpp
diff options
context:
space:
mode:
authorAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2015-02-07 00:13:38 +0100
committerAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2015-02-07 00:13:38 +0100
commitc31f79dd4f9e235f9d37ac375c96e032f53ae7c3 (patch)
treecde0e4d8e0c2c25d83b33f4adf66e46967eb2062 /src/core/managed/Managed.cpp
parent9a9646aa38435f5cec9faa0c23fb2d8ad875e13f (diff)
Removed unneeded header
Diffstat (limited to 'src/core/managed/Managed.cpp')
-rw-r--r--src/core/managed/Managed.cpp1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/core/managed/Managed.cpp b/src/core/managed/Managed.cpp
index a3caa76..b282427 100644
--- a/src/core/managed/Managed.cpp
+++ b/src/core/managed/Managed.cpp
@@ -16,7 +16,6 @@
along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
-#include <cassert>
#include <queue>
#include <core/common/Rtti.hpp>