kill two more useless functions in VM

[simgrid.git] / src / msg / msg_global.cpp

diff --git a/src/msg/msg_global.cpp b/src/msg/msg_global.cpp
index f787cc0..dc72b64 100644 (file)
--- a/src/msg/msg_global.cpp
+++ b/src/msg/msg_global.cpp
@@ -8,11 +8,10 @@
 
 #include "simgrid/msg.h"
 #include "instr/instr_interface.h"
+#include "msg_private.h"
 #include "mc/mc.h"
 #include "xbt/sysdep.h"
 #include "xbt/log.h"
-
-#include "msg_private.hpp"
 #include "simgrid/sg_config.h" /* Configuration mechanism of SimGrid */
 #include "src/surf/xml/platf_private.hpp" // FIXME: KILLME by removing MSG_post_create_environment()
 
@@ -123,11 +122,7 @@ int MSG_process_killall(int reset_PIDs)
 {
   simcall_process_killall(reset_PIDs);
 
-  if (reset_PIDs > 0)
-    msg_global->session++;
-
   return 0;
-
 }
 
 static void MSG_exit() {