Rework the doc of model-check/replay, and add an example with sthread

[simgrid.git] / src / smpi / internals / smpi_shared.cpp

diff --git a/src/smpi/internals/smpi_shared.cpp b/src/smpi/internals/smpi_shared.cpp
index 10ab0ad0ae2a63dcc393d2f07374177a7c72838f..42108cd182aec246ffaaa2b5368b95e13f1e5f4e 100644 (file)
--- a/src/smpi/internals/smpi_shared.cpp
+++ b/src/smpi/internals/smpi_shared.cpp
@@ -33,6 +33,7 @@
  *                                                                    \ |  |
  *                                                                      ----
  */
+#include <algorithm>
 #include <array>
 #include <cstring>
 #include <map>