Removed unnecessary include.
This commit is contained in:
parent
4ae37603f4
commit
21af7e9983
@ -1,8 +1,6 @@
|
|||||||
#ifndef __PLASP__PDDL__DOMAIN_H
|
#ifndef __PLASP__PDDL__DOMAIN_H
|
||||||
#define __PLASP__PDDL__DOMAIN_H
|
#define __PLASP__PDDL__DOMAIN_H
|
||||||
|
|
||||||
#include <unordered_map>
|
|
||||||
|
|
||||||
#include <plasp/pddl/Context.h>
|
#include <plasp/pddl/Context.h>
|
||||||
#include <plasp/pddl/Expression.h>
|
#include <plasp/pddl/Expression.h>
|
||||||
#include <plasp/pddl/Requirement.h>
|
#include <plasp/pddl/Requirement.h>
|
||||||
|
Reference in New Issue
Block a user