Remove VMs from the lib of existing hosts so that they can be recreated

diff --git a/src/msg/msg_vm.c b/src/msg/msg_vm.c
index e010913..b626e43 100644 (file)
--- a/src/msg/msg_vm.c
+++ b/src/msg/msg_vm.c
@@ -253,6 +253,7 @@ void MSG_vm_destroy(msg_vm_t vm)
   #ifdef HAVE_TRACING
   TRACE_msg_vm_end(vm);
   #endif
   #ifdef HAVE_TRACING
   TRACE_msg_vm_end(vm);
   #endif

+  xbt_lib_remove(host_lib, sg_host_name(vm));

 }
 
 
 }