From 60aec28a5528da6969b1bb90310a0bf1a4d2fa59 Mon Sep 17 00:00:00 2001
From: Yoann Audouin <yoann.audouin@edf.fr>
Date: Mon, 10 Oct 2022 10:54:28 +0200
Subject: [PATCH] Replacing std::mutex by boost::mutex as std::mutex is not on
 S10

---
 src/SMESH/SMESH_Mesh.hxx | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/SMESH/SMESH_Mesh.hxx b/src/SMESH/SMESH_Mesh.hxx
index ed897979f..18da4e93f 100644
--- 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:
-- 
2.39.2