mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-21 13:23:40 +00:00
Code Activity

Tidy up

Browse source
This commit is contained in:
Eddie Hung 2019-04-22 17:47:05 -07:00
parent 8f30019b68
commit 5f30a8795d
2 changed files with 1 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
frontends/aiger/aigerparse.cc
View file

@ -361,7 +361,7 @@ void AigerReader::parse_xaiger()
}
}
else if (c == 'r') {
uint32_t dataSize = parse_xaiger_literal(f);
/*uint32_t dataSize =*/ parse_xaiger_literal(f);
uint32_t flopNum = parse_xaiger_literal(f);
f.ignore(flopNum * sizeof(uint32_t));
log_assert(inputs.size() >= flopNum);