From a7cf696357c974d3f1b5fb6611f1259f8555d105 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Tue, 14 Jun 2016 14:18:38 +0200
Subject: [PATCH] Minor formatting.

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

diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp
index 1a7a637..d11c263 100644
--- a/src/plasp/pddl/TranslatorASP.cpp
+++ b/src/plasp/pddl/TranslatorASP.cpp
@@ -85,7 +85,7 @@ void TranslatorASP::translateTypes() const
 
 	if (types.empty())
 	{
-		m_ostream << std::endl << "type(object)." << std::endl;
+		m_ostream << "type(object)." << std::endl;
 		return;
 	}