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 9162237..462f500 100644 (file)
--- a/src/gras/Virtu/virtu_private.h
+++ b/src/gras/Virtu/virtu_private.h
@@ -1,10 +1,9 @@
-/* $Id$ */
-
 /* virtu[alization] - speciafic parts for each OS and for SG                */
 
 /* module's private interface.                                              */
 
-/* Copyright (c) 2004 Martin Quinson. All rights reserved.                  */
+/* Copyright (c) 2005, 2006, 2007, 2008, 2009, 2010. The SimGrid Team.
+ * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
@@ -15,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 */
@@ -38,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 */