Variable may be unused.

diff --git a/src/xbt/log.c b/src/xbt/log.c
index 3ec0c9c..9738053 100644 (file)
--- a/src/xbt/log.c
+++ b/src/xbt/log.c
@@ -405,7 +405,7 @@ static int fake_xbt_log_cat_init(xbt_log_category_t category, e_xbt_log_priority
   return 0;
 }
 #define DISABLE_XBT_LOG_CAT_INIT()                                                                                     \
-  int (*_xbt_log_cat_init)(xbt_log_category_t, e_xbt_log_priority_t) = fake_xbt_log_cat_init;
+  int (*_xbt_log_cat_init)(xbt_log_category_t, e_xbt_log_priority_t) XBT_ATTRIB_UNUSED = fake_xbt_log_cat_init;
 
 static void _xbt_log_cat_apply_set(xbt_log_category_t category, xbt_log_setting_t setting)
 {