From 95c03396d045898f80c906b002e903e2f58bb9c1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 28 Jun 2017 00:51:42 +0200 Subject: [PATCH] Fixed incorrect argument format in ASP output. --- include/plasp/pddl/translation/DerivedPredicate.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/include/plasp/pddl/translation/DerivedPredicate.h b/include/plasp/pddl/translation/DerivedPredicate.h index 6d9dc03..6d49883 100644 --- a/include/plasp/pddl/translation/DerivedPredicate.h +++ b/include/plasp/pddl/translation/DerivedPredicate.h @@ -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 << ", ";