X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a7430c3a3c007a1746ac3d8ff320058a66e70b64..ccf9494d0809595268bedd4ad7f962ddb24ce6a0:/src/surf/random_mgr.c

diff --git a/src/surf/random_mgr.c b/src/surf/random_mgr.c
index 8bad98fa8a..d87ce7b527 100644
--- a/src/surf/random_mgr.c
+++ b/src/surf/random_mgr.c
@@ -7,6 +7,8 @@
 #include "surf/random_mgr.h"
 #include "xbt/sysdep.h"
 #include "gras_config.h" /*_XBT_WIN32*/
+#include <math.h>
+#include <stdlib.h>
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(random, surf, "Random part of surf");
 
@@ -54,7 +56,7 @@ union ieee754_double {
   } ieee_nan;
 };
 
-#define IEEE754_DOUBLE_BIAS	0x3ff   /* Added to exponent.  */
+#define IEEE754_DOUBLE_BIAS  0x3ff   /* Added to exponent.  */
 
 double drand48(void);
 
@@ -200,8 +202,8 @@ static double custom_random(e_random_generator_t generator, long int *seed)
   case RAND:
     return (double) rand_r((unsigned int *) seed) / RAND_MAX;
   case RNGSTREAM :
-	  XBT_INFO("Seen RNGSTREAM");
-	  return 0.0;
+    XBT_INFO("Seen RNGSTREAM");
+    return 0.0;
   default:
     return drand48();
   }