Fixed debug output.

This commit is contained in:
Patrick Lühne 2016-06-08 01:41:21 +02:00
parent 42559fd601
commit 183b0c954e

View File

@ -158,8 +158,7 @@ void Domain::parseSection()
|| parser.probe<std::string>("durative-action") || parser.probe<std::string>("durative-action")
|| parser.probe<std::string>("derived")) || parser.probe<std::string>("derived"))
{ {
const auto sectionIdentifier = parser.parseIdentifier(isIdentifier); std::cout << "Skipping section" << std::endl;
std::cout << "Skipping section " << sectionIdentifier << std::endl;
skipSection(m_context.parser); skipSection(m_context.parser);
} }
else else