From 36e517bd80f9b1808670b6b2f3bb41bc9e4e2244 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:41:55 +0200
Subject: [PATCH] Wrapped translated SAS mutex group definitions for usability
 in meta encodings.

---
 src/plasp/sas/TranslatorASP.cpp | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp
index 6b0f5ad..4933d27 100644
--- a/src/plasp/sas/TranslatorASP.cpp
+++ b/src/plasp/sas/TranslatorASP.cpp
@@ -210,7 +210,12 @@ void TranslatorASP::translateMutexes() const
 			const auto mutexGroupID = std::to_string(currentMutexGroupID);
 			currentMutexGroupID++;
 
-			m_outputStream << std::endl << utils::Keyword("mutexGroup") << "(" << utils::Number(mutexGroupID) << ")." << std::endl;
+			m_outputStream
+				<< std::endl
+				<< utils::Keyword("mutexGroup") << "("
+				<< utils::Keyword("mutexGroup") << "("
+				<< utils::Number(mutexGroupID)
+				<< "))." << std::endl;
 
 			const auto &facts = mutexGroup.facts();