diff --git a/src/plasp/pddl/Domain.cpp b/src/plasp/pddl/Domain.cpp index 5103f79..4c0002e 100644 --- a/src/plasp/pddl/Domain.cpp +++ b/src/plasp/pddl/Domain.cpp @@ -159,8 +159,7 @@ void Domain::parseRequirementSection() while (m_context.parser.currentCharacter() != ')') { - if (m_context.parser.currentCharacter() == ':') - m_context.parser.advance(); + m_context.parser.expect(":"); m_requirements.emplace_back(Requirement::parse(m_context));