diff options
author | 2017-07-27 15:51:39 +0200 | |
---|---|---|
committer | 2017-07-27 16:26:30 +0200 | |
commit | 0f3481ba6364f24ef76b839bdde06ae7883c9bd9 (patch) | |
tree | 2dffea4d43a38aeb6fdaf0052a7ae6b60ea29872 /src/main/cpp/util/numbers.cc | |
parent | 92caf38a4ae74889391eefa9b7196804d8f2c948 (diff) |
Include <cinttypes> instead of <stdint.h>
cinttypes is the C++ header that should replace stdint.h. Not
using the correct header was leading to compilation error on CentOS 6.7
Fixes #3455.
To be cherry-picked for #3375.
Change-Id: I6df22134a4a4902ec9fa7ecdfaeb5408eacf3564
PiperOrigin-RevId: 163334651
Diffstat (limited to 'src/main/cpp/util/numbers.cc')
-rw-r--r-- | src/main/cpp/util/numbers.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/cpp/util/numbers.cc b/src/main/cpp/util/numbers.cc index b0ac3980a4..d1ae88b9ff 100644 --- a/src/main/cpp/util/numbers.cc +++ b/src/main/cpp/util/numbers.cc @@ -15,8 +15,8 @@ #include <errno.h> // errno, ERANGE #include <limits.h> -#include <stdint.h> #include <cassert> +#include <cinttypes> #include <cstdlib> #include <limits> |