Replacing std::mutex by boost::mutex as std::mutex is not on S10

diff --git a/src/SMESH/SMESH_Mesh.hxx b/src/SMESH/SMESH_Mesh.hxx
index ed897979f1f448adc2826abee44248081bc40034..18da4e93f0830dd7201c943af091a4b08ece2cfd 100644 (file)
--- a/src/SMESH/SMESH_Mesh.hxx
+++ b/src/SMESH/SMESH_Mesh.hxx
@@ -47,8 +47,10 @@
 #include <list>
 #include <vector>
 #include <ostream>
+
 #include <boost/filesystem.hpp>
 #include <boost/asio/thread_pool.hpp>
+#include <boost/thread.hpp>
 
 #ifdef WIN32
 #pragma warning(disable:4251) // Warning DLL Interface ...
@@ -451,7 +453,7 @@ protected:
   TCallUp*                    _callUp;
 
   // Mutex for multhitreading write in SMESH_Mesh
-  std::mutex _my_lock;
+  boost::mutex _my_lock;
   int _NbThreads=0;
 
 protected: