From 340db244f6ba7062d39b0d28ebaba564fa6f908f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 13 Aug 2016 04:04:28 +0200
Subject: [PATCH] Fixed bug in output format.

---
 src/plasp/pddl/TranslatorASP.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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;