Fixed a Boost-related bug in src/util.cpp (reported by Avneesh Saluja)

The random seed needs to be an unsigned int on some platforms

diff --git a/ChangeLog b/ChangeLog
index 3182fbd..757aec7 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,5 @@
+* Fixed a Boost-related bug in src/util.cpp (reported by Avneesh Saluja)
+  (the random seed needs to be an unsigned int on some platforms)
 * Fixed two bugs in examples/example_sprinkler_gibbs (reported by Priya)
 * Fixed bug in tokenizeString() and Evidence::addEvidenceTabFile()
   (a tab character at the end of a line was incorrectly discarded - bug reported by Priya)

diff --git a/src/util.cpp b/src/util.cpp
index 40f308e..d1e48b0 100644 (file)
--- a/src/util.cpp
+++ b/src/util.cpp
@@ -83,7 +83,7 @@ boost::variate_generator<_rnd_gen_type&, boost::normal_distribution<Real> > _nor
 
 
 void rnd_seed( size_t seed ) {
-    _rnd_gen.seed(seed);
+    _rnd_gen.seed( static_cast<unsigned int>(seed) );
     _normal_rnd.distribution().reset(); // needed for clearing the cache used in boost::normal_distribution
 }