Improve behavior of SD_application_reinit. Now, you can schedule tasks

[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 fc7a5d0..8db2fb8 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
 
-