#include "xbt/misc.h"
#include "simgrid_config.h" /*HAVE_MMAP _XBT_WIN32 */
+#include "gras_config.h" /* MMALLOC_WANT_OVERRIDE_LEGACY */
#include "time.h" /* to seed the random generator */
#include "xbt/sysdep.h"
xbt_binary_name = xbt_strdup(argv[0]);
srand((unsigned int) time(NULL));
- XBT_VERB("Initialize XBT");
xbt_log_init(argc, argv);
}