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::fromPDDL(parser)); else throw utils::ParserException(parser.row(), parser.column(), "Unknown PDDL section \"" + sectionIdentifier + "\""); - - parser.expect(")"); } //////////////////////////////////////////////////////////////////////////////////////////////////// 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;