Add log to random_mgr.

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

diff --git a/src/surf/random_mgr.c b/src/surf/random_mgr.c
index f6783d2..e65576a 100644 (file)
--- a/src/surf/random_mgr.c
+++ b/src/surf/random_mgr.c
@@ -8,6 +8,8 @@
 #include "xbt/sysdep.h"
 #include "gras_config.h" /*_XBT_WIN32*/
 
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(random, surf, "Random part of surf");
+
 #ifdef _XBT_WIN32
 
 static unsigned int _seed = 2147483647;
@@ -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 :
-         printf("Seen RNGSTREAM");
+         XBT_INFO("Seen RNGSTREAM");
          return 0.0;
   default:
     return drand48();