drand48 is not used anymore; stop using srand48.

[simgrid.git] / src / instr / instr_private.hpp

diff --git a/src/instr/instr_private.hpp b/src/instr/instr_private.hpp
index c5886f5361a02ad2eb64d9410cd5acf77a42a839..4aa5ee91c008858f2fc086ef1a2409b271a213cc 100644 (file)
--- a/src/instr/instr_private.hpp
+++ b/src/instr/instr_private.hpp
@@ -27,8 +27,6 @@
 #include <sys/stat.h>
 #ifdef WIN32
 #include <direct.h> // _mkdir
-/* Need to define function drand48 for Windows */
-#define drand48() (rand() / (RAND_MAX + 1.0))
 #endif
 
 typedef simgrid::instr::Container* container_t;
@@ -235,7 +233,7 @@ public:
 }
 }
 
-XBT_PRIVATE std::string instr_pid(s4u_Actor* proc);
+XBT_PRIVATE std::string instr_pid(simgrid::s4u::Actor const& proc);
 
 extern XBT_PRIVATE std::set<std::string> created_categories;
 extern XBT_PRIVATE std::set<std::string> declared_marks;