diff --git a/src/plasp/sas/Description.cpp b/src/plasp/sas/Description.cpp index e1765f8..05ab86a 100644 --- a/src/plasp/sas/Description.cpp +++ b/src/plasp/sas/Description.cpp @@ -254,8 +254,6 @@ void Description::parseVersionSection(std::istream &istream) const if (formatVersion != 3) throw ParserException("Unsupported SAS format version (" + std::to_string(formatVersion) + ")"); - std::cout << "SAS format version: " << formatVersion << std::endl; - parseSectionIdentifier(istream, "end_version"); } @@ -435,8 +433,6 @@ void Description::parseAxiomSection(std::istream &istream) const auto numberOfAxiomRules = parse(istream); m_axiomRules.reserve(numberOfAxiomRules); - std::cout << "Axiom rules: " << numberOfAxiomRules << std::endl; - for (size_t i = 0; i < numberOfAxiomRules; i++) { parseSectionIdentifier(istream, "begin_rule");