X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7ab38fd3064b5b7fe7668031dd314632ea05816b..ab41f91a04562e6395567717a8938bc391c98924:/src/instr/instr_interface.c

diff --git a/src/instr/instr_interface.c b/src/instr/instr_interface.c
index 0deeafe652..263f3c6872 100644
--- a/src/instr/instr_interface.c
+++ b/src/instr/instr_interface.c
@@ -19,7 +19,7 @@ void TRACE_category(const char *category)
 
 void TRACE_category_with_color (const char *category, const char *color)
 {
-  if (!TRACE_is_active())
+  if (!(TRACE_is_active() && category != NULL))
     return;
 
   xbt_assert1 (instr_platform_traced(),