From 0eb2714c9e9f71ae1d95c8bd05f57a256be103d8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Mon, 30 May 2016 13:22:17 +0200
Subject: [PATCH] Removed incorrect parentheses check.

---
 src/plasp/pddl/Description.cpp | 2 --
 src/plasp/pddl/Domain.cpp      | 2 --
 2 files changed, 4 deletions(-)

diff --git a/src/plasp/pddl/Description.cpp b/src/plasp/pddl/Description.cpp
index 8584108..99b52b0 100644
--- a/src/plasp/pddl/Description.cpp
+++ b/src/plasp/pddl/Description.cpp
@@ -77,8 +77,6 @@ void Description::parseSection(utils::Parser &parser)
 	//	m_problem = std::make_unique<Problem>(Problem::fromPDDL(parser));
 	else
 		throw utils::ParserException(parser.row(), parser.column(), "Unknown PDDL section \"" + sectionIdentifier + "\"");
-
-	parser.expect<std::string>(")");
 }
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////
diff --git a/src/plasp/pddl/Domain.cpp b/src/plasp/pddl/Domain.cpp
index 922be9d..ad08ad9 100644
--- a/src/plasp/pddl/Domain.cpp
+++ b/src/plasp/pddl/Domain.cpp
@@ -27,8 +27,6 @@ Domain Domain::fromPDDL(utils::Parser &parser)
 	{
 		parser.skipWhiteSpace();
 
-		std::cout << parser.currentCharacter() << std::endl;
-
 		if (parser.currentCharacter() == ')')
 			break;