minor stuff

[simgrid.git] / src / simix / smx_vm.c

diff --git a/src/simix/smx_vm.c b/src/simix/smx_vm.c
index 1041a7b..a9fb795 100644 (file)
--- a/src/simix/smx_vm.c
+++ b/src/simix/smx_vm.c
@@ -84,12 +84,11 @@ int SIMIX_pre_vm_state(smx_host_t vm){
  *
  * \param h the host to destroy (a smx_host_t)
  */
-void SIMIX_vm_host_destroy(void *h)
+void SIMIX_vm_host_destroy()
 {
   smx_host_priv_t host = (smx_host_priv_t) h;
 
-  smx_host_t
-  xbt_lib_(host_lib,name,SIMIX_HOST_LEVEL,smx_host);
+  vm_ws = xbt_lib_(host_lib,name,SURF_WKS_LEVEL,smx_host);
 
   /* jump to vm_ws_destroy() */
   surf_vm_workstation_model->extension.vm_workstation.destroy(name);