model-checker : abort if popen failed

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

diff --git a/src/gras/Virtu/virtu_private.h b/src/gras/Virtu/virtu_private.h
index f3f901e..462f500 100644 (file)
--- a/src/gras/Virtu/virtu_private.h
+++ b/src/gras/Virtu/virtu_private.h
@@ -14,7 +14,7 @@
 
 #include "xbt/dynar.h"
 #include "gras/Virtu/virtu_interface.h"
-#include "simix/simix.h"
+#include "simgrid/simix.h"
 #include "gras/Msg/msg_private.h"
 
 /** @brief Data for each process */
@@ -37,11 +37,11 @@ typedef struct {
   int pid;                      /* pid of process, only for SG */
   int ppid;                     /* ppid of process, only for SG */
 
-  gras_msg_listener_t listener; /* the thread in charge of the incomming communication for this process */
+  gras_msg_listener_t listener; /* the thread in charge of the incoming communication for this process */
 } gras_procdata_t;
 
 gras_procdata_t *gras_procdata_get(void);
 void *gras_libdata_by_name_from_procdata(const char *name,
                                          gras_procdata_t * pd);
 
-#endif /* GRAS_VIRTU_PRIVATE_H */
+#endif                          /* GRAS_VIRTU_PRIVATE_H */