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 3a336afc4..ec30e59d2 100644 --- a/src/player.h +++ b/src/player.h @@ -23,7 +23,7 @@ with this program; if not, write to the Free Software Foundation, Inc., #include "irrlichttypes_bloated.h" #include "inventory.h" #include "constants.h" // BS -#include "jthread/jmutex.h" +#include "threading/mutex.h" #include <list> #define PLAYERNAME_SIZE 20 @@ -413,7 +413,7 @@ private: // Protect some critical areas // hud for example can be modified by EmergeThread // and ServerThread - JMutex m_mutex; + Mutex m_mutex; }; |