| Index: src/libplatform/default-platform.h
|
| diff --git a/src/libplatform/default-platform.h b/src/libplatform/default-platform.h
|
| index b452fdd34560c75f91e7a16fbe9c1c5278eb39a9..c34a396d0da94c934b41a64834928ef711500bda 100644
|
| --- a/src/libplatform/default-platform.h
|
| +++ b/src/libplatform/default-platform.h
|
| @@ -61,6 +61,8 @@ class DefaultPlatform : public Platform {
|
| std::priority_queue<DelayedEntry, std::vector<DelayedEntry>,
|
| std::greater<DelayedEntry> > >
|
| main_thread_delayed_queue_;
|
| + // Used for --verify-predictable mode only.
|
| + double synthetic_time_in_sec_;
|
|
|
| DISALLOW_COPY_AND_ASSIGN(DefaultPlatform);
|
| };
|
|
|