Another missing include, needed with tracing=off.

diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c
index 3d1ab61..29f17ea 100644 (file)
--- a/src/surf/surf_config.c
+++ b/src/surf/surf_config.c
@@ -9,6 +9,7 @@
 #include "xbt/misc.h"
 #include "xbt/config.h"
 #include "xbt/log.h"
+#include "xbt/mallocator.h"
 #include "xbt/str.h"
 #include "surf/surf_private.h"
 #include "surf/surf_routing.h"  /* COORD_HOST_LEVEL and COORD_ASR_LEVEL */