This include is not needed anymore.

diff --git a/include/xbt/log.h b/include/xbt/log.h
index 4338b65..5df2d07 100644 (file)
--- a/include/xbt/log.h
+++ b/include/xbt/log.h
@@ -393,7 +393,6 @@ extern xbt_log_layout_t xbt_log_default_layout;
   fprintf(stderr,"%s:%d:\n" f, __FILE__, __LINE__, __VA_ARGS__)
 # define XBT_LOG(...) XBT_CLOG(0, __VA_ARGS__)
 #else
-# include <string.h>            /* memset */
 # define XBT_CLOG_(catv, prio, ...)                                     \
   do {                                                                  \
     if (_XBT_LOG_ISENABLEDV(catv, prio)) {                              \