Merge branch 'master' into mc-process

[simgrid.git] / examples / msg / mc / electric_fence.c

diff --git a/examples/msg/mc/electric_fence.c b/examples/msg/mc/electric_fence.c
index 0e03141..a067724 100644 (file)
--- a/examples/msg/mc/electric_fence.c
+++ b/examples/msg/mc/electric_fence.c
@@ -11,7 +11,7 @@
 /* --cfg=model-check/max_depth:) is reached.                                  */
 /******************************************************************************/
 
-#include <msg/msg.h>
+#include <simgrid/msg.h>
 #include <simgrid/modelchecker.h>
 
 #define N 2