From f2089f48b83d3f521b42c5a0708ae3d2eb44d427 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 8 Jun 2016 12:56:50 +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 421047d..05c2b57 100644 --- a/src/plasp/pddl/expressions/Variable.cpp +++ b/src/plasp/pddl/expressions/Variable.cpp @@ -123,7 +123,7 @@ void Variable::parseTypedDeclarations(Context &context, ExpressionContext &expre expressionContext.checkRequirement(Requirement::Type::Typing); // If no types are given, check that typing is not a requirement else if (expressionContext.hasRequirement(Requirement::Type::Typing)) - throw utils::ParserException(context.parser, "Constant has undeclared type"); + throw utils::ParserException(context.parser, "Variable has undeclared type"); } ////////////////////////////////////////////////////////////////////////////////////////////////////