boost_mirror/multi_index
1
0
Fork 0
mirror of https://github.com/boostorg/multi_index.git synced 2025-05-09 23:14:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

Avoid inclusion of deprecated header (#74)

Browse Source
This commit is contained in:
Peter Dimov 2024-09-30 19:39:47 +03:00 committed by GitHub
parent 162318b931
commit 47d36ce8e2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
include/boost/multi_index/detail/safe_mode.hpp
View File

@ -131,7 +131,7 @@
#endif
#if defined(BOOST_HAS_THREADS)
#include <boost/detail/lightweight_mutex.hpp>
#include <boost/smart_ptr/detail/lightweight_mutex.hpp>
#include <boost/multi_index/detail/scoped_bilock.hpp>
#endif