patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Removed unintended debug output.

Browse Source
This commit is contained in:
Patrick Lühne 2016-05-20 17:05:49 +02:00
parent eee7a3da4d
commit e899bd7aec
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/plasp/sas/Description.cpp
View File

@ -254,8 +254,6 @@ void Description::parseVersionSection(std::istream &istream) const
if (formatVersion != 3) if (formatVersion != 3)
throw ParserException("Unsupported SAS format version (" + std::to_string(formatVersion) + ")"); throw ParserException("Unsupported SAS format version (" + std::to_string(formatVersion) + ")");
std::cout << "SAS format version: " << formatVersion << std::endl;
parseSectionIdentifier(istream, "end_version"); parseSectionIdentifier(istream, "end_version");
} }
@ -435,8 +433,6 @@ void Description::parseAxiomSection(std::istream &istream)
const auto numberOfAxiomRules = parse<size_t>(istream); const auto numberOfAxiomRules = parse<size_t>(istream);
m_axiomRules.reserve(numberOfAxiomRules); m_axiomRules.reserve(numberOfAxiomRules);
std::cout << "Axiom rules: " << numberOfAxiomRules << std::endl;
for (size_t i = 0; i < numberOfAxiomRules; i++) for (size_t i = 0; i < numberOfAxiomRules; i++)
{ {
parseSectionIdentifier(istream, "begin_rule"); parseSectionIdentifier(istream, "begin_rule");