removing dependency on file that is no longer generated

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7998 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/include/instr/instr.h b/include/instr/instr.h
index b296c26..7938d17 100644 (file)
--- a/include/instr/instr.h
+++ b/include/instr/instr.h
@@ -7,8 +7,6 @@
 #ifndef INSTR_H_
 #define INSTR_H_
 
-#include "instr/tracing_config.h"
-
 #ifdef HAVE_TRACING
 
 #define NO_TRACE               0

diff --git a/include/msg/datatypes.h b/include/msg/datatypes.h
index d336b6d..26263da 100644 (file)
--- a/include/msg/datatypes.h
+++ b/include/msg/datatypes.h
@@ -7,7 +7,6 @@
 #ifndef MSG_DATATYPE_H
 #define MSG_DATATYPE_H
 #include "xbt/misc.h"
-#include "instr/tracing_config.h" // for HAVE_TRACING
 
 SG_BEGIN_DECL()