From 7023ba5d93ce4c45b7ac51f3bde86cc7c53e31c3 Mon Sep 17 00:00:00 2001
From: Frederic Suter <frederic.suter@cc.in2p3.fr>
Date: Wed, 6 Dec 2017 16:13:32 +0100
Subject: [PATCH] Revert "vm->destroy is not at kernel level ..."

This reverts commit 1fcf838d99683d6752a603216d5d3640274e866b.
---
 src/msg/msg_vm.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/msg/msg_vm.cpp b/src/msg/msg_vm.cpp
index 15f68ac611..3d9c4da0e8 100644
--- a/src/msg/msg_vm.cpp
+++ b/src/msg/msg_vm.cpp
@@ -180,7 +180,7 @@ void MSG_vm_destroy(msg_vm_t vm)
     MSG_vm_shutdown(vm);
 
   /* Then, destroy the VM object */
-  vm->destroy();
+  simgrid::simix::kernelImmediate([vm]() { vm->destroy(); });
 
   if (TRACE_msg_vm_is_enabled()) {
     container_t container = simgrid::instr::Container::byName(vm->getName());
-- 
2.30.2