diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp index f2bb588..3baa063 100644 --- a/src/plasp/pddl/TranslatorASP.cpp +++ b/src/plasp/pddl/TranslatorASP.cpp @@ -218,11 +218,11 @@ void TranslatorASP::translateActions() const this->translateLiteral(literal); - m_outputStream << ") :- "; + m_outputStream << ") :- " << utils::Keyword("action") << "("; printActionName(*action); - m_outputStream << "."; + m_outputStream << ")."; }; m_outputStream << std::endl;