diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-03-19 08:48:39 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-03-19 08:48:39 -0700 |
| commit | 43092f063f231482797fa9c240a4a5fe1223d55b (patch) | |
| tree | e4913badfcdb1d3de301ad85f8cd614a95de5370 /frontends/aiger/aigerparse.cc | |
| parent | e03f725ef27f696e316595999f3dc94ad5f6d946 (diff) | |
| download | yosys-43092f063f231482797fa9c240a4a5fe1223d55b.tar.gz yosys-43092f063f231482797fa9c240a4a5fe1223d55b.tar.bz2 yosys-43092f063f231482797fa9c240a4a5fe1223d55b.zip | |
Fix NDEBUG warnings
Diffstat (limited to 'frontends/aiger/aigerparse.cc')
| -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 a42569301..50c2a3ce6 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -444,7 +444,7 @@ void AigerReader::parse_xaiger() } } else if (c == 'r') { - uint32_t dataSize = parse_xaiger_literal(f); + uint32_t dataSize YS_ATTRIBUTE(unused) = parse_xaiger_literal(f); flopNum = parse_xaiger_literal(f); log_debug("flopNum = %u\n", flopNum); log_assert(dataSize == (flopNum+1) * sizeof(uint32_t)); |