diff options
author | Damien Martin-Guillerez <dmarting@google.com> | 2017-07-27 15:51:39 +0200 |
---|---|---|
committer | Jakob Buchgraber <buchgr@google.com> | 2017-07-27 16:26:30 +0200 |
commit | 0f3481ba6364f24ef76b839bdde06ae7883c9bd9 (patch) | |
tree | 2dffea4d43a38aeb6fdaf0052a7ae6b60ea29872 /src/main/cpp/blaze_util_platform.h | |
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/blaze_util_platform.h')
-rw-r--r-- | src/main/cpp/blaze_util_platform.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/main/cpp/blaze_util_platform.h b/src/main/cpp/blaze_util_platform.h index bb69541a6e..7e5749279d 100644 --- a/src/main/cpp/blaze_util_platform.h +++ b/src/main/cpp/blaze_util_platform.h @@ -15,8 +15,7 @@ #ifndef BAZEL_SRC_MAIN_CPP_BLAZE_UTIL_PLATFORM_H_ #define BAZEL_SRC_MAIN_CPP_BLAZE_UTIL_PLATFORM_H_ -#include <stdint.h> - +#include <cinttypes> #include <string> #include <vector> |