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