*/
SD_task_t SD_task_create(const char* name, void* data, double amount)
{
- SD_task_t task = xbt_new0(s_SD_task_t, 1);
+ auto* task = xbt_new0(s_SD_task_t, 1);
task->kind = SD_TASK_NOT_TYPED;
task->state = SD_NOT_SCHEDULED;
sd_global->initial_tasks.insert(task);