[mc] exit() instead of abort() in normal operation

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

diff --git a/examples/msg/mc/bugged1.c b/examples/msg/mc/bugged1.c
index 62539cd4c1a2751c3ce88c70aea3f2864064578a..4a7aa9eb95f49572cf74a20c84a5e9f9220fe336 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