From be376a9ffb99614daa09a039da8ffe3a59efcd1c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Tue, 30 Aug 2016 13:02:00 +0200
Subject: [PATCH] Hiding mutex group section in output if there are none.

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

diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp
index 94edfc3..229072c 100644
--- a/src/plasp/sas/TranslatorASP.cpp
+++ b/src/plasp/sas/TranslatorASP.cpp
@@ -33,8 +33,12 @@ void TranslatorASP::translate() const
 	translateVariables();
 	m_outputStream << std::endl;
 	translateActions();
-	m_outputStream << std::endl;
-	translateMutexes();
+
+	if (!m_description.mutexGroups().empty())
+	{
+		m_outputStream << std::endl;
+		translateMutexes();
+	}
 
 	if (m_description.usesAxiomRules())
 	{