Close useless tasks in the trace also (thanks to Ghislain for pointing that out)

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

diff --git a/src/instr/variables_instr.c b/src/instr/variables_instr.c
index bd1c38adc9722660ba0bb8ec37e679acbe1432b9..7b6be993fed537cba1d3db850f1044bbb929e1c2 100644 (file)
--- a/src/instr/variables_instr.c
+++ b/src/instr/variables_instr.c
@@ -11,7 +11,6 @@
  */
 
 #include "instr/private.h"
-#include "instr/config.h"
 #include "surf/surf_private.h"
 #include "surf/network_private.h"