From f597b3ab80866724f8e0fa40d1a2f0a93ebcdac1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Wed, 1 Jun 2016 01:32:49 +0200
Subject: [PATCH] Moved include to the right location.

---
 include/plasp/pddl/Type.h          | 2 ++
 include/plasp/pddl/TypePrimitive.h | 2 --
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/plasp/pddl/Type.h b/include/plasp/pddl/Type.h
index 9456c76..f6f6756 100644
--- a/include/plasp/pddl/Type.h
+++ b/include/plasp/pddl/Type.h
@@ -1,6 +1,8 @@
 #ifndef __PLASP__PDDL__TYPE_H
 #define __PLASP__PDDL__TYPE_H
 
+#include <unordered_map>
+
 #include <boost/variant.hpp>
 
 #include <plasp/pddl/TypePrimitive.h>
diff --git a/include/plasp/pddl/TypePrimitive.h b/include/plasp/pddl/TypePrimitive.h
index d98a4e0..59fdc30 100644
--- a/include/plasp/pddl/TypePrimitive.h
+++ b/include/plasp/pddl/TypePrimitive.h
@@ -1,9 +1,7 @@
 #ifndef __PLASP__PDDL__TYPE_PRIMITIVE_H
 #define __PLASP__PDDL__TYPE_PRIMITIVE_H
 
-#include <functional>
 #include <string>
-#include <unordered_map>
 #include <vector>
 
 #include <plasp/utils/Parser.h>