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); |
}; |