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

[simgrid.git] / src / simix / private.h

diff --git a/src/simix/private.h b/src/simix/private.h
index 4568983..feea909 100644 (file)
--- a/src/simix/private.h
+++ b/src/simix/private.h
@@ -18,7 +18,6 @@
 #include "xbt/function_types.h"
 #include "xbt/ex_interface.h"
 #include "instr/private.h"
-#include "instr/config.h"
 
 /******************************** Datatypes ***********************************/