diff --git a/lib/pddlparse/include/pddlparse/Variant.h b/lib/pddlparse/include/pddlparse/Variant.h index 6482187..879e9c3 100644 --- a/lib/pddlparse/include/pddlparse/Variant.h +++ b/lib/pddlparse/include/pddlparse/Variant.h @@ -1,6 +1,7 @@ #ifndef __PDDL_PARSE__VARIANT_H #define __PDDL_PARSE__VARIANT_H +#include #include #include #include