Fix typo

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index ac9e31f70b58d2a879a8ee7e00ba5439b0bd4027..06522939fc86c803768bdfd2ce1430052a7afb4b 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -451,7 +451,7 @@ void AigerReader::parse_xaiger(const dict<int,IdString> &box_lookup)
                                uint32_t poNum YS_ATTRIBUTE(unused) = parse_xaiger_literal(f);
                                log_debug("poNum = %u\n", poNum);
                                uint32_t boxNum = parse_xaiger_literal(f);
-                               log_debug("boxNum = %u\n", poNum);
+                               log_debug("boxNum = %u\n", boxNum);
                                for (unsigned i = 0; i < boxNum; i++) {
                                        f.ignore(2*sizeof(uint32_t));
                                        uint32_t boxUniqueId = parse_xaiger_literal(f);