From 1f35bda3d2600beeb25d83492b2411b7c00e0ffa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 13 Aug 2016 03:11:38 +0200
Subject: [PATCH] Wrapped translated PDDL action definitions for usability in
 meta encodings.

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

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());