-/* Copyright (c) 2013-2015. The SimGrid Team.
+/* Copyright (c) 2013-2019. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
SD_task_destroy(task);
}
xbt_dynar_free(&dax);
- SD_exit();
return 0;
}