X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/68a3972f6c3c8865130f4341e3f2aaf7b69ea190..9072f634ac2f4bdece800197ad4ad73ec96fd1d8:/src/instr/instr_private.h

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index dd531af82e..1f4b694c29 100644
--- a/src/instr/instr_private.h
+++ b/src/instr/instr_private.h
@@ -7,16 +7,15 @@
 #ifndef INSTR_PRIVATE_H_
 #define INSTR_PRIVATE_H_
 
-#include "instr/instr.h"
+#include "simgrid/instr.h"
 #include "instr/instr_interface.h"
 #include "internal_config.h"
 #include "simgrid_config.h"
 
-#ifdef HAVE_TRACING
-
 SG_BEGIN_DECL()
 
 /* Need to define function drand48 for Windows */
+/* FIXME: use _drand48() defined in src/surf/random_mgr.c instead */
 #ifdef _WIN32
 #  define drand48() (rand()/(RAND_MAX + 1.0))
 #endif
@@ -465,8 +464,6 @@ typedef struct s_instr_extra_data {
 
 SG_END_DECL()
 
-#endif /* HAVE_TRACING */
-
 #ifdef HAVE_JEDULE
 #include "instr/jedule/jedule_sd_binding.h"
 #endif