From dea879199acaafcca94387dfa731e277a09e5c5b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 9 Jun 2016 23:26:00 +0200
Subject: [PATCH] Removed debug output.

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

diff --git a/src/plasp/pddl/Domain.cpp b/src/plasp/pddl/Domain.cpp
index b275c02..7bfa89c 100644
--- a/src/plasp/pddl/Domain.cpp
+++ b/src/plasp/pddl/Domain.cpp
@@ -46,8 +46,6 @@ void Domain::findSections()
 
 	m_name = m_context.parser.parseIdentifier(isIdentifier);
 
-	std::cout << "Found domain " << m_name << std::endl;
-
 	parser.expect<std::string>(")");
 
 	const auto setSectionPosition =
@@ -124,8 +122,6 @@ void Domain::parse()
 {
 	auto &parser = m_context.parser;
 
-	std::cout << "Parsing domain " << m_name << std::endl;
-
 	if (m_requirementsPosition != -1)
 	{
 		parser.seek(m_requirementsPosition);
diff --git a/src/plasp/pddl/Problem.cpp b/src/plasp/pddl/Problem.cpp
index 86cbc17..1824885 100644
--- a/src/plasp/pddl/Problem.cpp
+++ b/src/plasp/pddl/Problem.cpp
@@ -45,8 +45,6 @@ void Problem::findSections()
 
 	m_name = parser.parseIdentifier(isIdentifier);
 
-	std::cout << "Found problem " << m_name << std::endl;
-
 	parser.expect<std::string>(")");
 
 	const auto setSectionPosition =