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

[simgrid.git] / src / gras / Virtu / rl_process.c

diff --git a/src/gras/Virtu/rl_process.c b/src/gras/Virtu/rl_process.c
index d044831..7219c9a 100644 (file)
--- a/src/gras/Virtu/rl_process.c
+++ b/src/gras/Virtu/rl_process.c
@@ -29,7 +29,7 @@ const char *xbt_procname(void) {
   else return "";
 }
 
-long int gras_os_getpid(void) {
+int gras_os_getpid(void) {
        #ifdef _WIN32
        return (long int) GetCurrentProcess();
        #else