Convert GRAS pid from long int to int; setup a virtualization layer in XBT to choose...

[simgrid.git] / include / gras / virtu.h

diff --git a/include/gras/virtu.h b/include/gras/virtu.h
index 81d5bb0..78fe16f 100644 (file)
--- a/include/gras/virtu.h
+++ b/include/gras/virtu.h
@@ -49,7 +49,7 @@ XBT_PUBLIC(int) gras_os_myport(void);
  * Returns the process ID of the current process.  (This is often used
    by routines that generate unique temporary file names.)
  */
-XBT_PUBLIC(long int) gras_os_getpid(void);
+XBT_PUBLIC(int) gras_os_getpid(void);
 
 /** @} */
 SG_END_DECL()