#include "portable.h" /* execinfo when available */
#include "xbt/ex.h"
#include "xbt/str.h"
+#include "xbt/synchro_core.h"
#include "xbt_modinter.h" /* backtrace initialization headers */
#include "xbt/ex_interface.h"
static void good_example(void)
{
- global_context_t *global_context = malloc(sizeof(global_context_t));
+ global_context_t *global_context = xbt_malloc(sizeof(global_context_t));
/* GOOD_EXAMPLE */
{ /*01 */