]> AND Public Git Repository - simgrid.git/blobdiff - teshsuite/mc/replay/random_bug.c
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge before commiting VM changes - Adrien
[simgrid.git] / teshsuite / mc / replay / random_bug.c
index 80bcf410eb4e0c36f6a8a8accc92621eb2020924..fea8c27ac3e723d2bfcaa70985159edcefc723bb 100644 (file)
@@ -6,7 +6,7 @@
 
 #include <stdio.h>
 
-#include <msg/msg.h>
+#include <simgrid/msg.h>
 #include <simgrid/modelchecker.h>
 
 /** An (fake) application with a bug occuring for some random values