diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-08-19 09:16:20 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-08-19 09:16:20 -0700 |
| commit | 10c69f71e9dd03780364402f5c470be33f6cfca5 (patch) | |
| tree | 0ec2cb4b404dbb96407e726665f28884e09627ff /backends/aiger/xaiger.cc | |
| parent | 24c934f1af3859fe64ff4fb87a2a3de97695cde4 (diff) | |
| download | yosys-10c69f71e9dd03780364402f5c470be33f6cfca5.tar.gz yosys-10c69f71e9dd03780364402f5c470be33f6cfca5.tar.bz2 yosys-10c69f71e9dd03780364402f5c470be33f6cfca5.zip | |
Use %d
Diffstat (limited to 'backends/aiger/xaiger.cc')
| -rw-r--r-- | backends/aiger/xaiger.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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) |