X-Git-Url: https://git.sesse.net/?a=blobdiff_plain;f=src%2Fmisc.cpp;h=17644eed89545d88071b18e6795bb895f7df35dc;hb=0150da5c2bd4661996b05dec4a1eca473515e9d7;hp=b1539ce20ea5d8e9d5d606154932c7f4df89c900;hpb=4c986b050111e4fb96716a75ae2168c005b03df9;p=stockfish

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