diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-11 11:51:44 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-11 11:51:44 -0800 |
| commit | bb4164481d8b6eeec6bbc6f5b36f1286ada51eb5 (patch) | |
| tree | 0ad84f8e9762748e3ab20ab5dbc9c39d4cc77e77 /frontends/aiger | |
| parent | fb6df09dd210faddf1d238d2605e645bdbda9723 (diff) | |
| download | yosys-bb4164481d8b6eeec6bbc6f5b36f1286ada51eb5.tar.gz yosys-bb4164481d8b6eeec6bbc6f5b36f1286ada51eb5.tar.bz2 yosys-bb4164481d8b6eeec6bbc6f5b36f1286ada51eb5.zip | |
Do not ignore newline after AND in binary AIG
Diffstat (limited to 'frontends/aiger')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index c45de8531..ed91b6990 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -242,7 +242,6 @@ void AigerReader::parse_aiger_ascii() and_cell->setPort("\\B", i2_wire); and_cell->setPort("\\Y", o_wire); } - std::getline(f, line); // Ignore up to start of next line } static unsigned parse_next_delta_literal(std::istream &f, unsigned ref) |