author | Raj Bhattacharjea <raj.b@gatech.edu> |
Tue, 20 Jan 2009 14:43:52 -0500 | |
changeset 4222 | 509a818e8cdf |
parent 4221 | 73b49aa25221 |
child 4223 | 86a97665dcb0 |
--- a/src/core/rng-stream.cc Tue Jan 20 14:00:05 2009 -0500 +++ b/src/core/rng-stream.cc Tue Jan 20 14:43:52 2009 -0500 @@ -351,8 +351,7 @@ // finally, actually use these values to do something. uint32_t seedArray [] = {seed, seed, seed, seed, seed, seed}; SetPackageSeed (seedArray); - // set to the chosen substream (run) - ResetNthSubstream (run); + //XXX set the run number } }