]> git-server-git.apps.pok.os.sepia.ceph.com Git - rocksdb.git/commitdiff
Include needed <cstdint> wip-cstdint 45/head
authorAdam C. Emerson <aemerson@redhat.com>
Mon, 8 May 2023 14:06:16 +0000 (10:06 -0400)
committerAdam C. Emerson <aemerson@redhat.com>
Mon, 8 May 2023 14:07:30 +0000 (10:07 -0400)
As of GCC13 this has to be explicitly included.

Signed-off-by: Adam C. Emerson <aemerson@redhat.com>
table/block_based/data_block_hash_index.h
util/string_util.h

index f356395f329251de1ecd3baa77bd9820c83c4f06..3215221755d5407eb9b6f5bf6a3b29c564022163 100644 (file)
@@ -5,6 +5,7 @@
 
 #pragma once
 
+#include <cstdint>
 #include <string>
 #include <vector>
 
index 55d106fff02bbeb3e3f1ecd7dec26ff50896d60b..11178fd1d7b031e42d5490397050b151d173c627 100644 (file)
@@ -6,6 +6,7 @@
 
 #pragma once
 
+#include <cstdint>
 #include <sstream>
 #include <string>
 #include <unordered_map>