proper use of the HAVE_TRACING variable defined by Cmake through -Dtracing=on

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

diff --git a/src/instr/general.c b/src/instr/general.c
index d7f002b..3e0dc11 100644 (file)
--- a/src/instr/general.c
+++ b/src/instr/general.c
@@ -11,7 +11,6 @@
  */
 
 #include "instr/private.h"
-#include "instr/config.h"
 
 
 #ifdef HAVE_TRACING