xbt_dynar_free(&(*info)->global_variables);
xbt_dict_free(&(*info)->types);
xbt_free(info);
- info = NULL;
+ *info = NULL;
}
/*************************************************************************/
void MC_exit(void)
{
xbt_free(mc_time);
+
MC_memory_exit();
//xbt_abort();
}