#include "msg/msg.h" /* core library */
#include "xbt/sysdep.h" /* calloc */
+#include "xbt/synchro_core.h"
/* Create a log channel to have nice outputs. */
#include "xbt/log.h"
xbt_cond_destroy(cond);
xbt_mutex_destroy(mutex);
- if (res == MSG_OK)
- res = MSG_clean();
-
if (res == MSG_OK)
return 0;
else