Make it build again after commit 48404c66fc4d8248308db1d1398cb79a6763077e.

[simgrid.git] / src / instr / instr_paje_header.c

diff --git a/src/instr/instr_paje_header.c b/src/instr/instr_paje_header.c
index fc7a5d0e1e35e95c4ef62fa0554945d1c7ed1201..8db2fb832eb22b98955b338ff92356bcd8c6ccdb 100644 (file)
--- a/src/instr/instr_paje_header.c
+++ b/src/instr/instr_paje_header.c
@@ -254,4 +254,3 @@ void TRACE_header(int basic)
 
 #endif
 
-