Add thread_win32.h header

[stockfish] / src / misc.cpp

diff --git a/src/misc.cpp b/src/misc.cpp
index f09694cc043607a6cd17d0409baf1e96c9537229..7df4287a3203df480b706672be1552493a35b627 100644 (file)
--- a/src/misc.cpp
+++ b/src/misc.cpp
@@ -146,7 +146,7 @@ void dbg_print() {
 
 std::ostream& operator<<(std::ostream& os, SyncCout sc) {
 
-  static std::mutex m;
+  static Mutex m;
 
   if (sc == IO_LOCK)
       m.lock();