Removed pointless comment.

This commit is contained in:
Patrick Lühne 2016-05-22 14:42:34 +02:00
parent c23ba5312b
commit d97b45ddcd

View File

@ -113,7 +113,6 @@ const AxiomRules &Description::axiomRules() const
void Description::parseVersionSection(std::istream &istream) const void Description::parseVersionSection(std::istream &istream) const
{ {
// Version section
utils::parseExpected<std::string>(istream, "begin_version"); utils::parseExpected<std::string>(istream, "begin_version");
const auto formatVersion = utils::parse<size_t>(istream); const auto formatVersion = utils::parse<size_t>(istream);