aiger2: Clean debug print

YosysHQ · Nov 13, 2024 · 2b50048 · 2b50048
1 parent f8e0e12
commit 2b50048
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/frontends/aiger2/xaiger.cc b/frontends/aiger2/xaiger.cc
@@ -203,8 +203,6 @@ struct Xaiger2Frontend : public Frontend {
 					box_outputs = read_be32(*f);
 					box_id = read_be32(*f);
 					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];