The random seed needs to be an unsigned int on some platforms
+* 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)
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
}