From 183b0c954e4b256ad6993d05e87a56ae92a5429d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Wed, 8 Jun 2016 01:41:21 +0200
Subject: [PATCH] Fixed debug output.

---
 src/plasp/pddl/Domain.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/plasp/pddl/Domain.cpp b/src/plasp/pddl/Domain.cpp
index 0ea864b..d6e1e7e 100644
--- a/src/plasp/pddl/Domain.cpp
+++ b/src/plasp/pddl/Domain.cpp
@@ -158,8 +158,7 @@ void Domain::parseSection()
 		|| parser.probe<std::string>("durative-action")
 		|| parser.probe<std::string>("derived"))
 	{
-		const auto sectionIdentifier = parser.parseIdentifier(isIdentifier);
-		std::cout << "Skipping section " << sectionIdentifier << std::endl;
+		std::cout << "Skipping section" << std::endl;
 		skipSection(m_context.parser);
 	}
 	else