diff options
Diffstat (limited to 'src/player.h')
| -rw-r--r-- | src/player.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/player.h b/src/player.h index 3432069c0..00d27cb90 100644 --- a/src/player.h +++ b/src/player.h @@ -22,8 +22,8 @@ with this program; if not, write to the Free Software Foundation, Inc., #include "irrlichttypes_bloated.h" #include "inventory.h" -#include "threading/mutex.h" #include <list> +#include <mutex> #define PLAYERNAME_SIZE 20 @@ -186,7 +186,7 @@ private: // Protect some critical areas // hud for example can be modified by EmergeThread // and ServerThread - Mutex m_mutex; + std::mutex m_mutex; }; #endif |