[INSTR] Rename paje headers for call-location tracing

We cannot call these values 'Filename' and 'Linenumber' because
they're reserved and will be ignored by pj_dump.

diff --git a/src/instr/instr_paje_header.cpp b/src/instr/instr_paje_header.cpp
index f135044..6994075 100644 (file)
--- a/src/instr/instr_paje_header.cpp
+++ b/src/instr/instr_paje_header.cpp
@@ -165,8 +165,12 @@ static void TRACE_header_PajePushState (int basic, int size)
   fprintf(tracing_file, "%%       Value string\n");
   if (size) fprintf(tracing_file, "%%       Size int\n");
   if (xbt_cfg_get_boolean("smpi/trace-call-location")) {
-    fprintf(tracing_file, "%%       Filename string\n");
-    fprintf(tracing_file, "%%       Linenumber int\n");
+    /**
+     * paje currently (May 2016) uses "Filename" and "Linenumber" as
+     * reserved words. We cannot use them...
+     */
+    fprintf(tracing_file, "%%       Fname string\n");
+    fprintf(tracing_file, "%%       Lnumber int\n");
   }
   fprintf(tracing_file, "%%EndEventDef\n");
 }