new PushStateEvent (SIMIX_get_clock(), container, type, value, static_cast<void*>(extra));
}
-void TRACE_smpi_collective_out(int rank, int root, const char *operation)
+void TRACE_smpi_collective_out(int rank, const char *operation)
{
if (not TRACE_smpi_is_enabled())
return;