From 588d84fc8adffb87bdde21f3b6d8c410b54d53cc Mon Sep 17 00:00:00 2001
From: schnorr <Lucas.Schnorr@imag.fr>
Date: Fri, 9 Mar 2012 02:13:38 +0100
Subject: [PATCH] [trace] update the header to the latest paje file format (as
 observed in paje source code)

---
 src/instr/instr_paje_trace.c | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/src/instr/instr_paje_trace.c b/src/instr/instr_paje_trace.c
index 02cedbfd35..916e18a8c2 100644
--- a/src/instr/instr_paje_trace.c
+++ b/src/instr/instr_paje_trace.c
@@ -211,36 +211,36 @@ void TRACE_paje_create_header(void)
   fprintf(tracing_file, "\
 %%EventDef PajeDefineContainerType %d \n\
 %%       Alias string \n\
-%%       ContainerType string \n\
+%%       Type string \n\
 %%       Name string \n\
 %%EndEventDef \n\
 %%EventDef PajeDefineVariableType %d \n\
 %%       Alias string \n\
-%%       ContainerType string \n\
+%%       Type string \n\
 %%       Name string \n\
 %%       Color color \n\
 %%EndEventDef \n\
 %%EventDef PajeDefineStateType %d \n\
 %%       Alias string \n\
-%%       ContainerType string \n\
+%%       Type string \n\
 %%       Name string \n\
 %%EndEventDef \n\
 %%EventDef PajeDefineEventType %d \n\
 %%       Alias string \n\
-%%       ContainerType string \n\
+%%       Type string \n\
 %%       Name string \n\
 %%       Color color \n\
 %%EndEventDef \n\
 %%EventDef PajeDefineLinkType %d \n\
 %%       Alias string \n\
-%%       ContainerType string \n\
-%%       SourceContainerType string \n\
-%%       DestContainerType string \n\
+%%       Type string \n\
+%%       StartContainerType string \n\
+%%       EndContainerType string \n\
 %%       Name string \n\
 %%EndEventDef \n\
 %%EventDef PajeDefineEntityValue %d \n\
 %%       Alias string \n\
-%%       EntityType string \n\
+%%       Type string \n\
 %%       Name string \n\
 %%       Color color \n\
 %%EndEventDef \n\
@@ -296,7 +296,7 @@ void TRACE_paje_create_header(void)
 %%       Type string \n\
 %%       Container string \n\
 %%       Value string \n\
-%%       SourceContainer string \n\
+%%       StartContainer string \n\
 %%       Key string \n\
 %%EndEventDef\n\
 %%EventDef PajeEndLink %d \n\
@@ -304,7 +304,7 @@ void TRACE_paje_create_header(void)
 %%       Type string \n\
 %%       Container string \n\
 %%       Value string \n\
-%%       DestContainer string \n\
+%%       EndContainer string \n\
 %%       Key string \n\
 %%EndEventDef\n\
 %%EventDef PajeNewEvent %d \n\
-- 
2.20.1