diff --git a/src/plasp/pddl/expressions/PrimitiveType.cpp b/src/plasp/pddl/expressions/PrimitiveType.cpp index a7e24d4..97e3aa8 100644 --- a/src/plasp/pddl/expressions/PrimitiveType.cpp +++ b/src/plasp/pddl/expressions/PrimitiveType.cpp @@ -109,7 +109,8 @@ PrimitiveType *PrimitiveType::parseAndFind(Context &context, Domain &domain) const auto typeName = context.parser.parseIdentifier(isIdentifier); - BOOST_ASSERT(!typeName.empty()); + if (typeName.empty()) + throw utils::ParserException(context.parser, "No type supplied"); const auto match = std::find_if(types.cbegin(), types.cend(), [&](const auto &primitiveType)