s_SD_task_t task;
- xbt_assert0(!SD_INITIALISED(), "SD_init() already called");
+ xbt_assert(!SD_INITIALISED(), "SD_init() already called");
/* Connect our log channels: that must be done manually under windows */
XBT_LOG_CONNECT(sd_kernel, sd);
void **surf_workstation = NULL;
void **surf_link = NULL;
- platform_filename = bprintf("%s",platform_file);
+ platform_filename = xbt_strdup(platform_file);
// Reset callbacks
surf_parse_reset_callbacks();