X-Git-Url: https://git.sesse.net/?p=stockfish;a=blobdiff_plain;f=src%2Fmisc.cpp;fp=src%2Fmisc.cpp;h=17644eed89545d88071b18e6795bb895f7df35dc;hp=b1539ce20ea5d8e9d5d606154932c7f4df89c900;hb=d703d2b5e760edf4d34b6664f2d0552ffe424b12;hpb=8726beba59ca10d03cfee5073e4ac51da7cae42a

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