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

---
 src/plasp/pddl/TranslatorASP.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp
index e0b70c5..491f083 100644
--- a/src/plasp/pddl/TranslatorASP.cpp
+++ b/src/plasp/pddl/TranslatorASP.cpp
@@ -127,7 +127,6 @@ void TranslatorASP::translate() const
 	if (m_description.containsProblem())
 	{
 		m_ostream << std::endl;
-
 		translateProblem();
 	}
 }