__SD_storage_create(surf_storage[SURF_STORAGE_LEVEL], NULL);
}
- XBT_DEBUG("Workstation number: %lu, link number: %d",
+ XBT_DEBUG("Workstation number: %zu, link number: %d",
sg_host_count(), sg_link_count());
#ifdef HAVE_JEDULE
jedule_setup_platform();