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

Fixed typo.

Browse Source
This commit is contained in:
Patrick Lühne
2016-06-08 01:12:29 +02:00
parent 9b3f78559e
commit 32883910bb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/plasp/pddl/expressions/Variable.cpp
View File

@@ -120,7 +120,7 @@ void Variable::parseTypedDeclarations(Context &context, ExpressionContext &expre
const auto typingDeclared = expressionContext.domain.hasRequirement(Requirement::Type::Typing); const auto typingDeclared = expressionContext.domain.hasRequirement(Requirement::Type::Typing);
if (!typingUsed && typingDeclared) if (!typingUsed && typingDeclared)
throw utils::ParserException(context.parser, "Object has undeclared type"); throw utils::ParserException(context.parser, "Variable has undeclared type");
if (typingUsed && !typingDeclared) if (typingUsed && !typingDeclared)
throw utils::ParserException(context.parser, "Typing used but not declared as a requirement"); throw utils::ParserException(context.parser, "Typing used but not declared as a requirement");