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

Minor formatting in PDDL debug output.

Browse Source
This commit is contained in:
Patrick Lühne 2017-06-23 01:48:47 +02:00
parent 3d9bf2582f
commit c0b71290a4
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/pddlparse/include/pddlparse/ASTOutput.h
View File

@ -149,13 +149,11 @@ inline colorlog::ColorStream &print(colorlog::ColorStream &stream, const Variabl
inline colorlog::ColorStream &print(colorlog::ColorStream &stream, const Predicate &predicate, pddl::detail::PrintContext &printContext)
{
stream << "(" << pddl::detail::Identifier(predicate.declaration->name) << " ";
stream << "(" << pddl::detail::Identifier(predicate.declaration->name);
for (const auto &argument : predicate.arguments)
{
if (&argument != &predicate.arguments.front())
stream << " ";
stream << " ";
print(stream, argument, printContext);
}