--- a/examples/static-routing-slash32.cc	Thu Jan 22 14:10:40 2009 -0500
+++ b/examples/static-routing-slash32.cc	Thu Jan 22 14:11:09 2009 -0500
@@ -37,10 +37,6 @@
 int 
 main (int argc, char *argv[])
 {
-  // Make the random number generators generate reproducible results.
-  //
-  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