From 10c69f71e9dd03780364402f5c470be33f6cfca5 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 19 Aug 2019 09:16:20 -0700
Subject: Use %d
---
backends/aiger/xaiger.cc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 5d3677ab3..0a2445593 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -808,7 +808,7 @@ struct XAigerWriter
std::stringstream r_buffer;
auto write_r_buffer = std::bind(write_buffer, std::ref(r_buffer), std::placeholders::_1);
- log_debug("flopNum = %zu\n", ff_bits.size());
+ log_debug("flopNum = %d\n", GetSize(ff_bits));
write_r_buffer(ff_bits.size());
int mergeability_class = 1;
for (auto cell : ff_bits)
--
cgit v1.2.3