model-checker : switch between data program and data libsimgrid for comparison of...

[simgrid.git] / src / gras / Virtu / virtu_sg.h

diff --git a/src/gras/Virtu/virtu_sg.h b/src/gras/Virtu/virtu_sg.h
index 93e1cce9ce39aced4bc53d4d36c9a4ebb2d6bae0..f4e7bab1fd1174e005b5e14c0d118b7108380c71 100644 (file)
--- a/src/gras/Virtu/virtu_sg.h
+++ b/src/gras/Virtu/virtu_sg.h
@@ -11,7 +11,7 @@
 
 #include "gras/Virtu/virtu_private.h"
 #include "xbt/dynar.h"
-#include "simix/simix.h"        /* SimGrid header */
+#include "simgrid/simix.h"        /* SimGrid header */
 #include "gras/Transport/transport_private.h"
 
 typedef struct {