diff options
| author | KunoiSayami <[email protected]> | 2022-02-17 14:11:18 +0800 |
|---|---|---|
| committer | KunoiSayami <[email protected]> | 2022-02-17 14:11:18 +0800 |
| commit | 74c563f94e4b02779465ead2b2dbce0db59e352a (patch) | |
| tree | 64e747bfa7b46274a34b6c7787a7233ceafba846 /util/random.h | |
| parent | e98fc6bf301bb3bf38aab4ccce51edc16953024b (diff) | |
merge: Merge remote-tracking branch google/main@4fb1468
Signed-off-by: KunoiSayami <[email protected]>
Diffstat (limited to 'util/random.h')
| -rw-r--r-- | util/random.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/util/random.h b/util/random.h index d7cbdd9..60ca9ed 100644 --- a/util/random.h +++ b/util/random.h @@ -57,8 +57,6 @@ class Random { // range [0,2^max_log-1] with exponential bias towards smaller numbers. uint32_t Skewed(int max_log) { return Uniform(1 << Uniform(max_log + 1)); } }; - - } // namespace leveldb #endif // STORAGE_LEVELDB_UTIL_RANDOM_H_ |