From e312740629f9a154927a7601c83f245daa2707d7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 18 Aug 2016 14:39:40 +0200
Subject: [PATCH] Fixed syntax error in output.

---
 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 984fdd2..eb98e29 100644
--- a/src/plasp/pddl/TranslatorASP.cpp
+++ b/src/plasp/pddl/TranslatorASP.cpp
@@ -87,7 +87,7 @@ void TranslatorASP::translateTypes() const
 	{
 		m_outputStream
 			<< utils::RuleName("type") << "("
-			<< utils::Keyword("type") << "(" << utils::String("object") << ")." << std::endl;
+			<< utils::Keyword("type") << "(" << utils::String("object") << "))." << std::endl;
 
 		return;
 	}