From e731f4402258554812c46334dc0d9483e6cc769b Mon Sep 17 00:00:00 2001
From: Sergei Petrunia <psergey@askmonty.org>
Date: Mon, 24 Jun 2019 16:08:17 -0700
Subject: [PATCH] C file should not include <cinttypes>, it is a C++ header.
 (#5499)

Summary:
Include <inttypes.h> instead.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/5499

Differential Revision: D15966937

Pulled By: miasantreble

fbshipit-source-id: 2156c4329b91d26d447de94f1231264d52786350
---
 util/crc32c_ppc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/crc32c_ppc.c b/util/crc32c_ppc.c
index ce0b9f27c..888a4943e 100644
--- a/util/crc32c_ppc.c
+++ b/util/crc32c_ppc.c
@@ -6,7 +6,7 @@
 //  (found in the LICENSE.Apache file in the root directory).
 
 #define CRC_TABLE
-#include <cinttypes>
+#include <stdint.h>
 #include <stdlib.h>
 #include <strings.h>
 #include "util/crc32c_ppc_constants.h"