diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2019-07-31 11:49:48 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2019-08-01 17:27:34 +0200 |
| commit | 28b7053a01630def454e683f03953c74744da025 (patch) | |
| tree | d4e488538478a2adb4348e97c541775e0ec35a17 /frontends | |
| parent | b4f38cca77a78884ce215190935af78cae92c4db (diff) | |
| download | yosys-28b7053a01630def454e683f03953c74744da025.tar.gz yosys-28b7053a01630def454e683f03953c74744da025.tar.bz2 yosys-28b7053a01630def454e683f03953c74744da025.zip | |
Fix formatting for msys2 mingw build using GetSize
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index 03c541b7c..bb97c5703 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -301,7 +301,11 @@ static uint32_t parse_xaiger_literal(std::istream &f) uint32_t l; f.read(reinterpret_cast<char*>(&l), sizeof(l)); if (f.gcount() != sizeof(l)) +#if defined(_WIN32) && defined(__MINGW32__) + log_error("Offset %I64d: unable to read literal!\n", static_cast<int64_t>(f.tellg())); +#else log_error("Offset %" PRId64 ": unable to read literal!\n", static_cast<int64_t>(f.tellg())); +#endif return from_big_endian(l); } |