From cf0a583f40f6d1bc3b61fc4420534582c7347ff3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Povi=C5=A1er?= Date: Thu, 5 Dec 2024 16:17:34 +0100 Subject: [PATCH] read_xaiger2: Rm debug print --- frontends/aiger2/xaiger.cc | 1 - 1 file changed, 1 deletion(-) diff --git a/frontends/aiger2/xaiger.cc b/frontends/aiger2/xaiger.cc index dd3ca428547..3d502edf110 100644 --- a/frontends/aiger2/xaiger.cc +++ b/frontends/aiger2/xaiger.cc @@ -341,7 +341,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];