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

Fixed incorrect argument format in ASP output.

Browse Source
This commit is contained in:
Patrick Lühne 2017-06-28 00:51:42 +02:00
parent a5038535f4
commit 95c03396d0
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
include/plasp/pddl/translation/DerivedPredicate.h
View File

@ -98,9 +98,8 @@ inline void translateDerivedPredicateToVariable(colorlog::ColorStream &outputStr
inline void translateDerivedPredicateDeclarationToVariable(colorlog::ColorStream &outputStream, const ::pddl::normalizedAST::DerivedPredicateDeclaration &derivedPredicateDeclaration, bool isPositive = true)
{
outputStream << colorlog::Keyword("derivedVariable") << "(";
translateDerivedPredicateDeclaration(outputStream, derivedPredicateDeclaration);
outputStream << "), " << colorlog::Keyword("value") << "(";
outputStream << ", " << colorlog::Keyword("value") << "(";
translateDerivedPredicateDeclaration(outputStream, derivedPredicateDeclaration);
outputStream << ", ";