Let xbt_exit() issue a warning stating that this is now a no-op

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

diff --git a/src/gras/gras.c b/src/gras/gras.c
index 6d1a53fd646ed94ec606d1db92caca8aa62fc5b2..9e826f72ac57496839cec43dabefcae7080a800f 100644 (file)
--- a/src/gras/gras.c
+++ b/src/gras/gras.c
@@ -157,7 +157,6 @@ void gras_exit(void)
     gras_emul_exit();
     gras_moddata_exit();
   }
     gras_emul_exit();
     gras_moddata_exit();
   }

-  xbt_exit();

 }
 
 const char *hexa_str(unsigned char *data, int size, int downside)
 }
 
 const char *hexa_str(unsigned char *data, int size, int downside)