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

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();