Merge branch 'master' into mc-process

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

diff --git a/examples/msg/mc/bugged2.c b/examples/msg/mc/bugged2.c
index 5d0e375..93bf21d 100644 (file)
--- a/examples/msg/mc/bugged2.c
+++ b/examples/msg/mc/bugged2.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