/* ex - Exception Handling */
-/* Copyright (c) 2005-2010 The SimGrid team */
+/* Copyright (c) 2005-2013. The SimGrid Team. */
/* Copyright (c) 2002-2004 Ralf S. Engelschall <rse@engelschall.com> */
/* Copyright (c) 2002-2004 The OSSP Project <http://www.ossp.org/> */
/* Copyright (c) 2002-2004 Cable & Wireless <http://www.cw.com/> */
#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 */