SIMIX_process_empty_trash();
}
-void simcall_HANDLER_process_change_host(smx_simcall_t simcall, smx_process_t process,
- sg_host_t dest)
+void simcall_HANDLER_process_set_host(smx_simcall_t simcall, smx_process_t process, sg_host_t dest)
{
process->new_host = dest;
}