From 373e7a1485a1e8942429dd6df9fecc4fe687eb5d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Sat, 5 Oct 2024 19:23:11 +0200
Subject: [PATCH] aiger2: Fix print

---
 backends/aiger2/aiger.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc
index 0406ca0ac..8de482bc0 100644
--- a/backends/aiger2/aiger.cc
+++ b/backends/aiger2/aiger.cc
@@ -1154,7 +1154,7 @@ struct XAigerWriter : AigerWriter {
 		write_be32(h_buffer, pis.size());
 		log_debug("ciNum = %zu\n", pis.size());
 		write_be32(h_buffer, pending_pos_num + pos.size());
-		log_debug("coNum = %zu\n", boxes_co_num + pos.size());
+		log_debug("coNum = %zu\n", pending_pos_num + pos.size());
 		write_be32(h_buffer, pis.size() - boxes_ci_num);
 		log_debug("piNum = %zu\n", pis.size() - boxes_ci_num);
 		write_be32(h_buffer, pending_pos_num + pos.size() - boxes_co_num);