diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp
index 194fcf7..888f973 100644
--- a/src/plasp/sas/TranslatorASP.cpp
+++ b/src/plasp/sas/TranslatorASP.cpp
@@ -176,7 +176,7 @@ void TranslatorASP::translate(std::ostream &ostream) const
 	{
 		const auto &mutexGroup = mutexGroups[i];
 
-		ostream << std::endl << "mutexGroup(mutexGroup" << i << ").";
+		ostream << std::endl << "mutexGroup(mutexGroup" << i << ")." << std::endl;
 
 		const auto &facts = mutexGroup.facts();