Rename lock.h to platform.h

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index f37fd5ef5763577bc05e081adc3ad21c3567037e..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);
@@ -60,6 +60,4 @@ private:
   sys_time_t t;
 };
 
-extern void start_logger(bool b);
-
 #endif // !defined(MISC_H_INCLUDED)