diff --git a/lib/pddlparse/src/pddlparse/detail/parsing/PrimitiveTypeDeclaration.cpp b/lib/pddlparse/src/pddlparse/detail/parsing/PrimitiveTypeDeclaration.cpp index 6a19d6f..7b3cb6e 100644 --- a/lib/pddlparse/src/pddlparse/detail/parsing/PrimitiveTypeDeclaration.cpp +++ b/lib/pddlparse/src/pddlparse/detail/parsing/PrimitiveTypeDeclaration.cpp @@ -59,9 +59,9 @@ void parseAndAddPrimitiveTypeDeclarations(Context &context, ast::Domain &domain) tokenizer.skipWhiteSpace(); auto &types = domain.types; + assert(types.empty()); std::vector flaggedTypes; - flaggedTypes.resize(types.size(), false); while (tokenizer.currentCharacter() != ')') {