[trace] faster method to dump when unconditional dump to trace file is possible

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

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index cb8e1f0..ff33c7d 100644 (file)
--- a/src/instr/instr_private.h
+++ b/src/instr/instr_private.h
@@ -64,7 +64,7 @@ extern double TRACE_last_timestamp_to_dump;
 void TRACE_paje_create_header(void);
 void TRACE_paje_start(void);
 void TRACE_paje_end(void);
-void TRACE_paje_dump_buffer (void);
+void TRACE_paje_dump_buffer (int force);
 void new_pajeDefineContainerType(type_t type);
 void new_pajeDefineVariableType(type_t type);
 void new_pajeDefineStateType(type_t type);