Use std::vector<Thread*> to store threads

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index cda0ef591192c9852e422447a3a3f57ef91bb1c6..8d21c1adfb3d328d48768a62e26bfd012527aca1 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -23,13 +23,13 @@
 #include <fstream>
 #include <string>
 
-#include "lock.h"
 #include "types.h"
 
 extern const std::string engine_info(bool to_uci = false);
 extern int cpu_count();
 extern void timed_wait(WaitCondition&, Lock&, int);
 extern void prefetch(char* addr);
+extern void start_logger(bool b);
 
 extern void dbg_hit_on(bool b);
 extern void dbg_hit_on_c(bool c, bool b);
@@ -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)