yet another update(cherry picked from commit cf6a47ee6e6c3b4b884c577ba9d7324ae4f32783)

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

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index cfa16136e9494add065b568e54c520f432b0c82f..2c0fc4b57a763af5f8d8f09006bbc3aceb08e5ba 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);