X-Git-Url: https://git.sesse.net/?p=stockfish;a=blobdiff_plain;f=src%2Fmisc.cpp;h=7df4287a3203df480b706672be1552493a35b627;hp=f09694cc043607a6cd17d0409baf1e96c9537229;hb=a66c73deef420104e74b6645ee60e20b37fd8549;hpb=be509525336b65419e708678abe4e16efb5f6f4d

diff --git a/src/misc.cpp b/src/misc.cpp
index f09694cc..7df4287a 100644
--- 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();