- if (!tracing_file) {
- THROW1(tracing_error, TRACE_ERROR_FILE_OPEN,
- "Tracefile %s could not be opened for writing.", filename);
- }
+ xbt_assert1 (tracing_file != NULL, "Tracefile %s could not be opened for writing.", filename);
+
+ DEBUG1("Filename %s is open for writing", filename);
+
+ /* output header */
+ TRACE_paje_create_header();