diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-07 11:28:25 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-07 11:28:25 -0700 |
| commit | d00ae1d6a8c0a1e147599ee27f6a4ea68f43267e (patch) | |
| tree | 5d69cd6ec5701036caf0cd4e7f5227028d6b3df2 /frontends/aiger/aigerparse.cc | |
| parent | 65924fd12f48b4ec5a4d51efeea977992d033ecf (diff) | |
| download | yosys-d00ae1d6a8c0a1e147599ee27f6a4ea68f43267e.tar.gz yosys-d00ae1d6a8c0a1e147599ee27f6a4ea68f43267e.tar.bz2 yosys-d00ae1d6a8c0a1e147599ee27f6a4ea68f43267e.zip | |
Remove unnecessary std::getline() for ASCII
Diffstat (limited to 'frontends/aiger/aigerparse.cc')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 3 |
1 files changed, 0 insertions, 3 deletions
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) |