Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mv msg/msg.h simgrid/msg.h
[simgrid.git] / examples / msg / mc / bugged1_liveness.c
index 5143623..50ad0ae 100644 (file)
@@ -16,7 +16,7 @@
 #include <unistd.h>
 #endif
 
-#include "msg/msg.h"
+#include "simgrid/msg.h"
 #include "mc/mc.h"
 #include "xbt/automaton.h"
 #include "bugged1_liveness.h"