diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-12-17 15:43:21 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-12-17 15:45:26 -0800 |
| commit | 0875a078710a2d60ec3c55e9b5a87d97fd643f3b (patch) | |
| tree | 600783436ebcdcac5450a6f4038962446e3cc118 /frontends/aiger | |
| parent | e82a9bc642782ea84d46ca135d2c0b6a42b9e772 (diff) | |
| download | yosys-0875a078710a2d60ec3c55e9b5a87d97fd643f3b.tar.gz yosys-0875a078710a2d60ec3c55e9b5a87d97fd643f3b.tar.bz2 yosys-0875a078710a2d60ec3c55e9b5a87d97fd643f3b.zip | |
read_xaiger to cope with optional '\n' after 'c'
Diffstat (limited to 'frontends/aiger')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index 65a9e30ae..abc2f4144 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -379,8 +379,8 @@ void AigerReader::parse_xaiger(const dict<int,IdString> &box_lookup) int c = f.get(); if (c != 'c') log_error("Line %u: cannot interpret first character '%c'!\n", line_count, c); - c = f.get(); - log_assert(c == '\n'); + if (f.peek() == '\n') + f.get(); // Parse footer (symbol table, comments, etc.) std::string s; |