diff --git a/include/plasp/pddl/Domain.h b/include/plasp/pddl/Domain.h index f16c2aa..2dedf70 100644 --- a/include/plasp/pddl/Domain.h +++ b/include/plasp/pddl/Domain.h @@ -1,8 +1,6 @@ #ifndef __PLASP__PDDL__DOMAIN_H #define __PLASP__PDDL__DOMAIN_H -#include - #include #include #include