From c31f79dd4f9e235f9d37ac375c96e032f53ae7c3 Mon Sep 17 00:00:00 2001
From: Andreas Stöckel <astoecke@techfak.uni-bielefeld.de>
Date: Sat, 7 Feb 2015 00:13:38 +0100
Subject: Removed unneeded header

---
 src/core/managed/Managed.cpp | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/core/managed/Managed.cpp')

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