From 8f7e2606f86cb6a9c859d68d5590ccb06caa9578 Mon Sep 17 00:00:00 2001
From: Lucas Schnorr <Lucas.Schnorr@imag.fr>
Date: Mon, 10 Oct 2011 16:31:34 +0200
Subject: [PATCH] [trace] strictly following the header of the paje file format

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

diff --git a/src/instr/instr_paje_trace.c b/src/instr/instr_paje_trace.c
index fdc75c428f..d3928a4686 100644
--- a/src/instr/instr_paje_trace.c
+++ b/src/instr/instr_paje_trace.c
@@ -257,19 +257,19 @@ void TRACE_paje_create_header(void)
 %%       Time date \n\
 %%       Type string \n\
 %%       Container string \n\
-%%       Value string \n\
+%%       Value double \n\
 %%EndEventDef\n\
 %%EventDef PajeAddVariable %d \n\
 %%       Time date \n\
 %%       Type string \n\
 %%       Container string \n\
-%%       Value string \n\
+%%       Value double \n\
 %%EndEventDef\n\
 %%EventDef PajeSubVariable %d \n\
 %%       Time date \n\
 %%       Type string \n\
 %%       Container string \n\
-%%       Value string \n\
+%%       Value double \n\
 %%EndEventDef\n\
 %%EventDef PajeSetState %d \n\
 %%       Time date \n\
-- 
2.20.1