diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp index b515090..865d8a3 100644 --- a/src/plasp/pddl/TranslatorASP.cpp +++ b/src/plasp/pddl/TranslatorASP.cpp @@ -224,7 +224,9 @@ void TranslatorASP::translateActions() const m_outputStream << std::endl; // Name + m_outputStream << utils::Keyword("action") << "("; printActionName(*action); + m_outputStream << ")"; this->translateVariablesBody(action->parameters());