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)
commitf86bdcdce6b00e0313070d61b23207e55e712ec7
tree559396656787ebea1db5f5a2334dc72dffdaaec4
parentf532f9c9184d4dc1167e3fb7a5651d03ef5220de
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
ChangeLog
src/util.cpp