patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Refactored Requirement parsing.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-04 17:47:01 +02:00
parent f2a1528ea9
commit 7e60631840
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/plasp/pddl/Domain.cpp
View File

@ -159,8 +159,7 @@ void Domain::parseRequirementSection()
while (m_context.parser.currentCharacter() != ')') while (m_context.parser.currentCharacter() != ')')
{ {
if (m_context.parser.currentCharacter() == ':') m_context.parser.expect<std::string>(":");
m_context.parser.advance();
m_requirements.emplace_back(Requirement::parse(m_context)); m_requirements.emplace_back(Requirement::parse(m_context));