*/
void VMHL13::migrate(sg_host_t host_dest)
{
- Host *surfHost_dst = host_dest->extension<Host>();
+ HostImplem *surfHost_dst = host_dest->extension<HostImplem>();
const char *vm_name = getName();
const char *pm_name_src = p_hostPM->name().c_str();
const char *pm_name_dst = surfHost_dst->getName();