Removed unnecessary includes.

This commit is contained in:
2016-09-05 17:05:48 +02:00
parent 0c5936ad38
commit 6f3769f364
6 changed files with 3 additions and 5 deletions

View File

@@ -5,6 +5,7 @@
#include <sstream>
#include <stdexcept>
#include <plasp/pddl/ConsistencyException.h>
#include <plasp/pddl/Description.h>
#include <plasp/pddl/expressions/And.h>
#include <plasp/pddl/expressions/Either.h>