From 21af7e9983a3c59614fcac75cf60749344093b51 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 4 Jun 2016 17:22:57 +0200
Subject: [PATCH] Removed unnecessary include.

---
 include/plasp/pddl/Domain.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/include/plasp/pddl/Domain.h b/include/plasp/pddl/Domain.h
index f16c2aa..2dedf70 100644
--- a/include/plasp/pddl/Domain.h
+++ b/include/plasp/pddl/Domain.h
@@ -1,8 +1,6 @@
 #ifndef __PLASP__PDDL__DOMAIN_H
 #define __PLASP__PDDL__DOMAIN_H
 
-#include <unordered_map>
-
 #include <plasp/pddl/Context.h>
 #include <plasp/pddl/Expression.h>
 #include <plasp/pddl/Requirement.h>