diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-14 12:00:02 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-14 12:00:02 -0700 |
| commit | 97d265637505a239e3d328a3ee7e26c6fd5d6744 (patch) | |
| tree | 14e63b5bbae0dfe2ac47ff3e1b4a5a1d959e4be4 /frontends/aiger/aigerparse.cc | |
| parent | 2e34859a6b9780d6dc2df28dabcab893b5f4ce4a (diff) | |
| download | yosys-97d265637505a239e3d328a3ee7e26c6fd5d6744.tar.gz yosys-97d265637505a239e3d328a3ee7e26c6fd5d6744.tar.bz2 yosys-97d265637505a239e3d328a3ee7e26c6fd5d6744.zip | |
Resolve comments from @daveshah1
Diffstat (limited to 'frontends/aiger/aigerparse.cc')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index a72a82926..4ce76daa5 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -26,7 +26,7 @@ #include <libgen.h> #include <stdlib.h> #endif -#include <array> +#include <inttypes.h> #include "kernel/yosys.h" #include "kernel/sigtools.h" @@ -277,7 +277,7 @@ 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)) - log_error("Offset %ld: unable to read literal!\n", static_cast<int64_t>(f.tellg())); + log_error("Offset %" PRId64 ": unable to read literal!\n", static_cast<int64_t>(f.tellg())); // TODO: Don't assume we're on little endian #ifdef _WIN32 return _byteswap_ulong(l); |