From 6e37721243daa2eecd185fa6c23464f3138a89a2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Mon, 23 May 2016 14:24:00 +0200
Subject: [PATCH] Minor formatting.

---
 src/plasp/sas/TranslatorASP.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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