Merge branch 'master' into mc-process

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

diff --git a/examples/msg/mc/bugged1.c b/examples/msg/mc/bugged1.c
index 62539cd..4a7aa9e 100644 (file)
--- a/examples/msg/mc/bugged1.c
+++ b/examples/msg/mc/bugged1.c
@@ -9,7 +9,7 @@
 /* which is incorrect because the message ordering is non-deterministic       */
 /******************************************************************************/
 
-#include <msg/msg.h>
+#include <simgrid/msg.h>
 #include <simgrid/modelchecker.h>
 
 #define N 3