X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9ed8f63d4856efe72038250011ad82a0f90f7d53..e6c4b413a125ab0016782004ed00289bfedf4a0d:/src/xbt/ex.c

diff --git a/src/xbt/ex.c b/src/xbt/ex.c
index c6e74bddfd..f383208ff0 100644
--- a/src/xbt/ex.c
+++ b/src/xbt/ex.c
@@ -46,6 +46,7 @@
 #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"
@@ -409,7 +410,7 @@ typedef struct {
 
 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 */