From b8223b42bd043ebebfd3c78ef30c0028ef343c5d 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:31:14 +0200
Subject: [PATCH] Removed unnecessary include.

---
 src/plasp/pddl/TypePrimitive.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/plasp/pddl/TypePrimitive.cpp b/src/plasp/pddl/TypePrimitive.cpp
index a5ed203..9f25166 100644
--- a/src/plasp/pddl/TypePrimitive.cpp
+++ b/src/plasp/pddl/TypePrimitive.cpp
@@ -2,8 +2,6 @@
 
 #include <algorithm>
 
-#include <boost/variant.hpp>
-
 #include <plasp/pddl/Context.h>
 #include <plasp/pddl/Identifier.h>