| Index: src/base/utils/random-number-generator.h
|
| diff --git a/src/base/utils/random-number-generator.h b/src/base/utils/random-number-generator.h
|
| index 479423d65864bdde345e77cdcc5d4b2393f4aa0c..a9107a6d061382b4c154da7e09d9cd9619919f65 100644
|
| --- a/src/base/utils/random-number-generator.h
|
| +++ b/src/base/utils/random-number-generator.h
|
| @@ -74,8 +74,6 @@ class RandomNumberGenerator FINAL {
|
| // Override the current ssed.
|
| void SetSeed(int64_t seed);
|
|
|
| - int64_t initial_seed() const { return initial_seed_; }
|
| -
|
| private:
|
| static const int64_t kMultiplier = V8_2PART_UINT64_C(0x5, deece66d);
|
| static const int64_t kAddend = 0xb;
|
| @@ -83,7 +81,6 @@ class RandomNumberGenerator FINAL {
|
|
|
| int Next(int bits) WARN_UNUSED_RESULT;
|
|
|
| - int64_t initial_seed_;
|
| int64_t seed_;
|
| };
|
|
|
|
|