From a5f1ebdc0906d4681e1efd3e8df0d0ae61af8d39 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 8 Dec 2016 01:07:17 +0100
Subject: [PATCH] Removed unnecessary include directives.

---
 include/plasp/pddl/translation/Variables.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/include/plasp/pddl/translation/Variables.h b/include/plasp/pddl/translation/Variables.h
index 5f37c30..5696aac 100644
--- a/include/plasp/pddl/translation/Variables.h
+++ b/include/plasp/pddl/translation/Variables.h
@@ -3,9 +3,6 @@
 
 #include <plasp/output/Formatting.h>
 #include <plasp/output/TranslatorException.h>
-#include <plasp/pddl/Description.h>
-#include <plasp/pddl/expressions/Not.h>
-#include <plasp/pddl/expressions/Predicate.h>
 
 namespace plasp
 {