From 6b343c26007ec203a3943319686eb85d81f293b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Wed, 13 Nov 2024 16:06:43 +0100
Subject: [PATCH] aiger2: Clean 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 3d502edf1..616bec9e7 100644
--- a/frontends/aiger2/xaiger.cc
+++ b/frontends/aiger2/xaiger.cc
@@ -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];