Don't do anything if the category is NULL

[simgrid.git] / src / simix / host_private.h

diff --git a/src/simix/host_private.h b/src/simix/host_private.h
index 63041a1838feeef87ba1febbd05bd12c6392f6b4..ad5332d9a37121373af66e5439791b582ed181fd 100644 (file)
--- a/src/simix/host_private.h
+++ b/src/simix/host_private.h
@@ -44,5 +44,9 @@ void SIMIX_host_execution_resume(smx_action_t action);
 
 void SIMIX_post_host_execute(smx_action_t action);
 
+#ifdef HAVE_TRACING
+void SIMIX_set_category(smx_action_t action, const char *category);
+#endif
+
 #endif