From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 7 Jun 2019 18:28:25 +0000 (-0700)
Subject: Remove unnecessary std::getline() for ASCII
X-Git-Tag: yosys-0.9~79^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d00ae1d6a8c0a1e147599ee27f6a4ea68f43267e;p=yosys.git

Remove unnecessary std::getline() for ASCII
---

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 26b101e4c..d0338e45d 100644
--- 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)