From 32883910bb6273c6b60da875af6d442fc2b0146e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 8 Jun 2016 01:12:29 +0200 Subject: [PATCH] Fixed typo. --- src/plasp/pddl/expressions/Variable.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plasp/pddl/expressions/Variable.cpp b/src/plasp/pddl/expressions/Variable.cpp index 4a6b0f6..85b5afb 100644 --- a/src/plasp/pddl/expressions/Variable.cpp +++ b/src/plasp/pddl/expressions/Variable.cpp @@ -120,7 +120,7 @@ void Variable::parseTypedDeclarations(Context &context, ExpressionContext &expre const auto typingDeclared = expressionContext.domain.hasRequirement(Requirement::Type::Typing); if (!typingUsed && typingDeclared) - throw utils::ParserException(context.parser, "Object has undeclared type"); + throw utils::ParserException(context.parser, "Variable has undeclared type"); if (typingUsed && !typingDeclared) throw utils::ParserException(context.parser, "Typing used but not declared as a requirement");