Fixed a Boost-related bug in src/util.cpp (reported by Avneesh Saluja)
authorJoris Mooij <joris.mooij@tuebingen.mpg.de>
Wed, 30 Mar 2011 07:47:00 +0000 (09:47 +0200)
committerJoris Mooij <joris.mooij@tuebingen.mpg.de>
Wed, 30 Mar 2011 07:47:00 +0000 (09:47 +0200)
The random seed needs to be an unsigned int on some platforms

ChangeLog
src/util.cpp

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)
index 40f308e..d1e48b0 100644 (file)
@@ -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
 }