From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 19 Aug 2019 16:16:20 +0000 (-0700)
Subject: Use %d
X-Git-Tag: working-ls180~881^2^2~247
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=10c69f71e9dd03780364402f5c470be33f6cfca5;p=yosys.git

Use %d
---

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)