#include <stdio.h>
#include <stdlib.h>
#include "simgrid/msg.h"
-#include "surf/surf_private.h"
int host(int argc, char *argv[]);
res = MSG_main();
XBT_INFO("Simulation time %g", MSG_get_clock());
- if (res == MSG_OK)
- return 0;
- else
- return 1;
-
+ return res != MSG_OK;
}