3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-04 16:44:08 +00:00

aiger2: Clean debug print

This commit is contained in:
Martin Povišer 2024-11-13 16:06:43 +01:00
parent 559209c856
commit 6b343c2600

View file

@ -203,7 +203,6 @@ struct Xaiger2Frontend : public Frontend {
/* unused box_id = */ read_be32(*f);
auto box_seq = read_be32(*f);
log("box_seq=%d boxes.size=%d\n", box_seq, (int) boxes.size());
log_assert(box_seq < boxes.size());
auto [cell, def] = boxes[box_seq];