diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-08-20 11:39:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-20 11:39:23 +0200 |
| commit | d0117d7d12483abd126602c1220a80e2eb807873 (patch) | |
| tree | 4bbcb60156a215dd462298904aa8e537465d5355 /frontends/aiger/aigerparse.cc | |
| parent | 1e3dd0a2da1c8a6a34d2a664f938a90fc83e81a9 (diff) | |
| parent | 6ffb910d12a93e64182b52a58e69386851f2d595 (diff) | |
| download | yosys-d0117d7d12483abd126602c1220a80e2eb807873.tar.gz yosys-d0117d7d12483abd126602c1220a80e2eb807873.tar.bz2 yosys-d0117d7d12483abd126602c1220a80e2eb807873.zip | |
Merge branch 'master' into clifford/pmgen
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 ac9e31f70..06522939f 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -451,7 +451,7 @@ void AigerReader::parse_xaiger(const dict<int,IdString> &box_lookup) uint32_t poNum YS_ATTRIBUTE(unused) = parse_xaiger_literal(f); log_debug("poNum = %u\n", poNum); uint32_t boxNum = parse_xaiger_literal(f); - log_debug("boxNum = %u\n", poNum); + log_debug("boxNum = %u\n", boxNum); for (unsigned i = 0; i < boxNum; i++) { f.ignore(2*sizeof(uint32_t)); uint32_t boxUniqueId = parse_xaiger_literal(f); |