static double prefix=0.0; // TI specific
-void print_NULL(PajeEvent* event){}
-
/* The active set of functions for the selected trace format
- * By default, they all do nothing, hence the print_NULL to avoid segfaults */
+ * By default, they all do nothing */
std::vector<PajeEvent*> buffer;
void buffer_debug(std::vector<PajeEvent*> *buf);
XBT_PRIVATE void TRACE_TI_start();
XBT_PRIVATE void TRACE_TI_end();
-XBT_PRIVATE void print_NULL (PajeEvent* event);
XBT_PRIVATE void TRACE_paje_dump_buffer (int force);
XBT_PRIVATE void dump_comment_file (const char *filename);
XBT_PRIVATE void dump_comment (const char *comment);