diff --git a/eo/src/utils/eoRNG.h b/eo/src/utils/eoRNG.h index f9b3050c..faeead88 100644 --- a/eo/src/utils/eoRNG.h +++ b/eo/src/utils/eoRNG.h @@ -124,9 +124,24 @@ public : } /** - Re-initializes the Random Number Generator. + * Re-initializes the Random Number Generator. + * WARNING: after Jeroen Eggermont noticed that + * initialize does not differentiate between odd and even numbers, + * the argument to reseed is now doubled before being passed on. + * + * Manually divide the seed by 2 if you want to re-run old runs + * + * MS. 5 Oct. 2001 */ void reseed(uint32 s) + { + initialize(2*s); + } + + /** + Re-initializes the Random Number Generator - old version + */ + void oldReseed(uint32 s) { initialize(s); }