Use new Time class in timed_wait()

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index cda0ef591192c9852e422447a3a3f57ef91bb1c6..7c33211e884616de3b2cee5648a4b637c89f0540 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -57,7 +57,7 @@ public:
   static Time current_time() { Time t; t.restart(); return t; }
 
 private:
-  my_time_t t;
+  sys_time_t t;
 };
 
 #endif // !defined(MISC_H_INCLUDED)