model-checker : new examples

[simgrid.git] / src / smpi / private.h

diff --git a/src/smpi/private.h b/src/smpi/private.h
index 6105faaa1046cdd86599ea10019b5bb5ccfd9398..a01ffef1241fe324ef12a126d1eb7ac12e1b9e5f 100644 (file)
--- a/src/smpi/private.h
+++ b/src/smpi/private.h
@@ -9,7 +9,7 @@
 
 #include "xbt.h"
 #include "xbt/xbt_os_time.h"
-#include "simix/simix.h"
+#include "simgrid/simix.h"
 #include "smpi/smpi.h"
 #include "smpi/smpif.h"
 #include "smpi/smpi_cocci.h"