From 569b3d0c97cdd98c8aac18e1080fac7dfb4f5e78 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 13 Aug 2016 01:40:31 +0200
Subject: [PATCH] Wrapped translated SAS action definitions for usability in
 meta encodings.

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

diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp
index 4c838a2..6b0f5ad 100644
--- a/src/plasp/sas/TranslatorASP.cpp
+++ b/src/plasp/sas/TranslatorASP.cpp
@@ -136,9 +136,9 @@ void TranslatorASP::translateActions() const
 	std::for_each(operators.cbegin(), operators.cend(),
 		[&](const auto &operator_)
 		{
-			m_outputStream << std::endl;
+			m_outputStream << std::endl << utils::Keyword("action") << "(";
 			operator_.printPredicateAsASP(m_outputStream);
-			m_outputStream << "." << std::endl;
+			m_outputStream << ")." << std::endl;
 
 			const auto &preconditions = operator_.preconditions();