[trace] bugfix, do not try to declare a NULL category

[simgrid.git] / src / instr / instr_interface.c

diff --git a/src/instr/instr_interface.c b/src/instr/instr_interface.c
index 0deeafe..263f3c6 100644 (file)
--- 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)
 {
 
 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(),
     return;
 
   xbt_assert1 (instr_platform_traced(),