diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-11 13:24:21 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-11 13:24:21 -0800 |
| commit | 727ba52504c65be1fcda9b03f6c2e1498e10061d (patch) | |
| tree | 9186b629257b774439e4ac0e0ca65d9bfadecbb3 /frontends/aiger | |
| parent | bb4164481d8b6eeec6bbc6f5b36f1286ada51eb5 (diff) | |
| download | yosys-727ba52504c65be1fcda9b03f6c2e1498e10061d.tar.gz yosys-727ba52504c65be1fcda9b03f6c2e1498e10061d.tar.bz2 yosys-727ba52504c65be1fcda9b03f6c2e1498e10061d.zip | |
No increment line_count for binary ANDs
Diffstat (limited to 'frontends/aiger')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index ed91b6990..096e269b2 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -227,7 +227,7 @@ void AigerReader::parse_aiger_ascii() std::getline(f, line); // Ignore up to start of next line // Parse AND - for (unsigned i = 0; i < A; ++i, ++line_count) { + for (unsigned i = 0; i < A; ++i) { if (!(f >> l1 >> l2 >> l3)) log_error("Line %u cannot be interpreted as an AND!\n", line_count); |