diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-05-16 21:35:06 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-05-16 21:36:56 -0700 |
commit | d9f6d9b6a40975d69eefec8d4852e8c3cd82878a (patch) | |
tree | 667cf3da4d178c2652e5c39807c81eee57e02d08 /test/regress | |
parent | f1a65bef2675495f09603901a7166f20221b0449 (diff) |
Include cinttypes instead of inttypes.h
This commit changes the includes used by MiniSat. This commit changes
the includes from stdint.h/inttypes.h/limits.h to
cstdint/cinttypes/climits. This ensures that the macros in
cinttypes/inttypes.h, e.g., `PRIi64`, are actually defined. The C99
standard suggested that those macros are only defined for C++ code when
`__STDC_FORMAT_MACROS` is defined. This was never adopted by a C++
standard (https://en.cppreference.com/w/cpp/types/integer). However,
certain versions of mingw-w64 seem to require it with inttypes.h but not
cinttypes.
This fixes the nightly Windows build (tested in the Docker container
used by the nightlies).
Diffstat (limited to 'test/regress')
0 files changed, 0 insertions, 0 deletions