changeset 4218 | debf1a8a96d3 |
parent 4012 | 7dc122811f0c |
child 4225 | f1d873a81159 |
--- a/examples/global-routing-slash32.cc Tue Dec 30 11:35:31 2008 -0800 +++ b/examples/global-routing-slash32.cc Tue Jan 13 17:15:44 2009 -0500 @@ -40,7 +40,8 @@ { // Make the random number generators generate reproducible results. // - RandomVariable::UseGlobalSeed (1, 1, 2, 3, 5, 8); + uint32_t seed[6] = {1, 1, 2, 3, 5, 8}; + SeedManager::SetSeed(seed); // Allow the user to override any of the defaults and the above // DefaultValue::Bind ()s at run-time, via command-line arguments