leak --(cherry picked from commit dd1330c53beec9c5abb8b23375062e6acf214632)

[simgrid.git] / src / instr / instr_private.h

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index 8bafe00..2c0fc4b 100644 (file)
--- a/src/instr/instr_private.h
+++ b/src/instr/instr_private.h
@@ -234,6 +234,8 @@ extern double TRACE_last_timestamp_to_dump;
 void TRACE_header(int basic, int size);
 
 /* from paje.c */
+void TRACE_init(void);
+void TRACE_finalize(void);
 void TRACE_paje_init(void);
 void TRACE_paje_start(void);
 void TRACE_paje_end(void);
@@ -364,6 +366,8 @@ void print_pajeEndLink(paje_event_t event);
 void print_pajeNewEvent (paje_event_t event);
 
 void print_TIPushState(paje_event_t event);
+void print_TICreateContainer(paje_event_t event);
+void print_TIDestroyContainer(paje_event_t event);
 void TRACE_TI_start(void);
 void TRACE_TI_end(void);
 void TRACE_TI_init(void);