#define TRACE_ERROR_START 500
#define TRACE_ERROR_ALREADY_ACTIVE 501
-XBT_PUBLIC(int) TRACE_start(void);
-XBT_PUBLIC(int) TRACE_end(void);
XBT_PUBLIC(int) TRACE_category(const char *category);
XBT_PUBLIC(int) TRACE_category_with_color (const char *category, const char *color);
XBT_PUBLIC(void) TRACE_define_type(const char *type,
#else /* HAVE_TRACING */
-#define TRACE_start()
-#define TRACE_end()
#define TRACE_category(cat)
+#define TRACE_category_with_color(cat,color)
#define TRACE_define_type(cat,supercat,final)
#define TRACE_create_category(inst,cat)
#define TRACE_msg_set_task_category(task,cat)