diff --git a/include/plasp/pddl/Type.h b/include/plasp/pddl/Type.h index 9456c76..f6f6756 100644 --- a/include/plasp/pddl/Type.h +++ b/include/plasp/pddl/Type.h @@ -1,6 +1,8 @@ #ifndef __PLASP__PDDL__TYPE_H #define __PLASP__PDDL__TYPE_H +#include + #include #include diff --git a/include/plasp/pddl/TypePrimitive.h b/include/plasp/pddl/TypePrimitive.h index d98a4e0..59fdc30 100644 --- a/include/plasp/pddl/TypePrimitive.h +++ b/include/plasp/pddl/TypePrimitive.h @@ -1,9 +1,7 @@ #ifndef __PLASP__PDDL__TYPE_PRIMITIVE_H #define __PLASP__PDDL__TYPE_PRIMITIVE_H -#include #include -#include #include #include