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

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

diff --git a/src/smpi/internals/smpi_utils.cpp b/src/smpi/internals/smpi_utils.cpp
index 46249714c6a1c4d9d083f260021a954d592562c7..09688d88f2d4e898bffb72cf0664ebf4ab6a3a0e 100644 (file)
--- a/src/smpi/internals/smpi_utils.cpp
+++ b/src/smpi/internals/smpi_utils.cpp
@@ -7,7 +7,7 @@
 
 #include "private.hpp"
 #include "smpi_config.hpp"
-#include "src/surf/xml/platf.hpp"
+#include "src/kernel/xml/platf.hpp"
 #include "xbt/ex.h"
 #include "xbt/file.hpp"
 #include "xbt/log.h"