}
SIMIX_HOST_LEVEL = xbt_lib_add_level(host_lib,SIMIX_host_destroy);
+ SIMIX_STORAGE_LEVEL = xbt_lib_add_level(storage_lib, SIMIX_storage_destroy);
if (sg_cfg_get_boolean("clean_atexit"))
atexit(SIMIX_clean);
*/
static void SIMIX_clean(void)
{
-#ifdef HAVE_TRACING
- TRACE_end();
-#endif
#ifdef TIME_BENCH_PER_SR
smx_ctx_raw_new_sr();
#endif