Merge remote-tracking branch 'origin/master'

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

diff --git a/src/gras/Virtu/sg_process.c b/src/gras/Virtu/sg_process.c
index 4dfee83..96773db 100644 (file)
--- a/src/gras/Virtu/sg_process.c
+++ b/src/gras/Virtu/sg_process.c
@@ -263,7 +263,5 @@ void gras_load_environment_script(const char *script_file)
   return;
 }
 
-void gras_clean()
-{
-  SIMIX_clean();
+void gras_clean(){ /* this function is not needed anymore and could be removed, but I feel so lazy */
 }