Using the proper c++ way to get the min double value

diff --git a/src/xbt/random.cpp b/src/xbt/random.cpp
index b0f172a..03c544a 100644 (file)
--- a/src/xbt/random.cpp
+++ b/src/xbt/random.cpp
@@ -5,6 +5,7 @@
 
 #include "xbt/random.hpp"
 #include "xbt/asserts.h"
 
 #include "xbt/random.hpp"
 #include "xbt/asserts.h"

+#include <limits>

 #include <random>
 
 namespace simgrid {
 #include <random>
 
 namespace simgrid {


@@ -52,7 +53,7 @@ double normal(double mean, double sd)
   unsigned long numeratorB = mt19937_gen() - mt19937_gen.min();
   unsigned long divisor    = mt19937_gen.max() - mt19937_gen.min();
   double u1                = numeratorA / divisor;
   unsigned long numeratorB = mt19937_gen() - mt19937_gen.min();
   unsigned long divisor    = mt19937_gen.max() - mt19937_gen.min();
   double u1                = numeratorA / divisor;

-  while (u1 < DBL_MIN) {
+  while (u1 < std::numeric_limits<double>::min()) {

     numeratorA = mt19937_gen() - mt19937_gen.min();
     u1         = numeratorA / divisor;
   }
     numeratorA = mt19937_gen() - mt19937_gen.min();
     u1         = numeratorA / divisor;
   }