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

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

diff --git a/src/plasp/sas/TranslatorASP.cpp b/src/plasp/sas/TranslatorASP.cpp
index 41718be..492f2a7 100644
--- a/src/plasp/sas/TranslatorASP.cpp
+++ b/src/plasp/sas/TranslatorASP.cpp
@@ -131,9 +131,10 @@ void TranslatorASP::translate(std::ostream &ostream) const
 					effect.postcondition().value().printAsASPCommaSeparated(ostream);
 					ostream << ")." << std::endl;
 				});
+
+			ostream << std::endl;
 		});
 
-	ostream << std::endl;
 	ostream << "% initial state" << std::endl;
 
 	const auto &initialStateFacts = m_description.initialState().facts();