diff options
Diffstat (limited to 'src/face_position_cache.h')
| -rw-r--r-- | src/face_position_cache.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/face_position_cache.h b/src/face_position_cache.h index 5ea0d938b..29ae0f0a9 100644 --- a/src/face_position_cache.h +++ b/src/face_position_cache.h @@ -21,11 +21,11 @@ with this program; if not, write to the Free Software Foundation, Inc., #define FACE_POSITION_CACHE_HEADER #include "irr_v3d.h" -#include "threading/mutex.h" #include <map> #include <vector> #include <unordered_map> +#include <mutex> /* * This class permits caching getFacePosition call results. @@ -38,7 +38,7 @@ public: private: static const std::vector<v3s16> &generateFacePosition(u16 d); static std::unordered_map<u16, std::vector<v3s16>> cache; - static Mutex cache_mutex; + static std::mutex cache_mutex; }; #endif |