patrick
/
plasp
Archived
1
0
Fork 0

Finished precondition parsing.

This commit is contained in:
Patrick Lühne 2017-06-17 18:08:51 +02:00
parent 63e15d37e8
commit 0d3cb152f9
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 4 deletions

View File

@ -95,10 +95,7 @@ std::experimental::optional<ast::Precondition> parsePreconditionBody(Context &co
|| tokenizer.testIdentifierAndReturn(">=")
|| tokenizer.testIdentifierAndReturn("<="))
{
const auto expressionIdentifier = tokenizer.getIdentifier();
tokenizer.expect<std::string>("(");
skipSection(tokenizer);
tokenizer.seek(position);
return parseUnsupported(context);
}