diff options
author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-02-07 00:13:38 +0100 |
---|---|---|
committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-02-07 00:13:38 +0100 |
commit | c31f79dd4f9e235f9d37ac375c96e032f53ae7c3 (patch) | |
tree | cde0e4d8e0c2c25d83b33f4adf66e46967eb2062 /src | |
parent | 9a9646aa38435f5cec9faa0c23fb2d8ad875e13f (diff) |
Removed unneeded header
Diffstat (limited to 'src')
-rw-r--r-- | src/core/managed/Managed.cpp | 1 |
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> |