X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e14aabeee188d0182d686681c2a5c5833cf699bf..b857f66adac2e677a8a2642afe500e9a5f19e474:/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(),