if (xbt_initialized!=1)
return;
- xbt_binary_name = strdup(argv[0]);
+ xbt_binary_name = xbt_strdup(argv[0]);
srand((unsigned int)time(NULL));
VERB0("Initialize XBT");
if (xbt_initialized == 0) {
free(xbt_binary_name);
xbt_fifo_exit();
+ xbt_dict_exit();
}
xbt_log_exit();
}