Remove unnecessary std::getline() for ASCII

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 26b101e4cb0d0b96e8343ded545ceb3a95f290ec..d0338e45db39dacff2b3eb6e499f4a878a8d2b07 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -230,7 +230,6 @@ void AigerReader::parse_aiger_ascii()
         wire->port_output = true;
         outputs.push_back(wire);
     }
-    std::getline(f, line); // Ignore up to start of next line
 
     // Parse bad properties
     for (unsigned i = 0; i < B; ++i, ++line_count) {
@@ -242,8 +241,6 @@ void AigerReader::parse_aiger_ascii()
         wire->port_output = true;
         bad_properties.push_back(wire);
     }
-    if (B > 0)
-        std::getline(f, line); // Ignore up to start of next line
 
     // TODO: Parse invariant constraints
     for (unsigned i = 0; i < C; ++i, ++line_count)