summaryrefslogtreecommitdiff
path: root/util/random.h
diff options
context:
space:
mode:
authorVictor Costan <costan@google.com>2022-01-09 23:08:24 -0800
committerGitHub <noreply@github.com>2022-01-09 23:08:24 -0800
commit3180f9cb402f51ce89be7011b103747bc6462976 (patch)
tree9671501a3176d0f9fc58284b6455a36b4f4986b1 /util/random.h
parentf933ad16934098460622bbc62d17761802486393 (diff)
parent8ccb79b57e877cb28b751d74e3e50bb4f8184997 (diff)
downloadleveldb-3180f9cb402f51ce89be7011b103747bc6462976.tar.gz
Merge branch 'master' into patch-1
Diffstat (limited to 'util/random.h')
-rw-r--r--util/random.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/util/random.h b/util/random.h
index 76f7daf..fe76ab4 100644
--- a/util/random.h
+++ b/util/random.h
@@ -5,7 +5,7 @@
#ifndef STORAGE_LEVELDB_UTIL_RANDOM_H_
#define STORAGE_LEVELDB_UTIL_RANDOM_H_
-#include <stdint.h>
+#include <cstdint>
namespace leveldb {