From 3173932a55c8e4888a0b0e3e199a9ad682650fbe Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 9 Oct 2014 21:59:19 +0200
Subject: [PATCH] Remove VMs from the lib of existing hosts so that they can be
 recreated

---
 src/msg/msg_vm.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/msg/msg_vm.c b/src/msg/msg_vm.c
index e01091355d..b626e431ed 100644
--- 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
+  xbt_lib_remove(host_lib, sg_host_name(vm));
 }
 
 
-- 
2.20.1