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

Made error message more precise.

Browse Source
This commit is contained in:
Patrick Lühne 2017-06-16 00:02:41 +02:00
parent 1e77a6b043
commit fa9fd0935b
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/pddlparse/src/pddlparse/detail/parsing/PrimitiveType.cpp
View File

@ -24,7 +24,7 @@ ast::PrimitiveTypePointer parsePrimitiveType(Context &context, ast::Domain &doma
auto typeName = tokenizer.getIdentifier();
if (typeName.empty())
throw tokenize::TokenizerException(tokenizer.location(), "no type supplied");
throw tokenize::TokenizerException(tokenizer.location(), "could not parse primitive type, expected identifier");
auto matchingType = std::find_if(types.begin(), types.end(),
[&](auto &primitiveTypeDeclaration)