Add log to random_mgr.

[simgrid.git] / src / surf / random_mgr.c

diff --git a/src/surf/random_mgr.c b/src/surf/random_mgr.c
index 4f48ae9..e65576a 100644 (file)
--- a/src/surf/random_mgr.c
+++ b/src/surf/random_mgr.c
@@ -6,7 +6,9 @@
 
 #include "surf/random_mgr.h"
 #include "xbt/sysdep.h"
 
 #include "surf/random_mgr.h"
 #include "xbt/sysdep.h"

-#include "simgrid_config.h" /*_XBT_WIN32*/
+#include "gras_config.h" /*_XBT_WIN32*/
+
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(random, surf, "Random part of surf");

 
 #ifdef _XBT_WIN32
 
 
 #ifdef _XBT_WIN32
 


@@ -198,7 +200,7 @@ static double custom_random(Generator generator, long int *seed)
   case RAND:
     return (double) rand_r((unsigned int *) seed) / RAND_MAX;
   case RNGSTREAM :
   case RAND:
     return (double) rand_r((unsigned int *) seed) / RAND_MAX;
   case RNGSTREAM :

-         printf("Seen RNGSTREAM");
+         XBT_INFO("Seen RNGSTREAM");

          return 0.0;
   default:
     return drand48();
          return 0.0;
   default:
     return drand48();