Removed unnecessary include directives.
This commit is contained in:
parent
8587aa23c4
commit
a5f1ebdc09
@ -3,9 +3,6 @@
|
|||||||
|
|
||||||
#include <plasp/output/Formatting.h>
|
#include <plasp/output/Formatting.h>
|
||||||
#include <plasp/output/TranslatorException.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
|
namespace plasp
|
||||||
{
|
{
|
||||||
|
Reference in New Issue
Block a user