src/core/rng-stream.cc
changeset 4231 6f9f859bae8b
parent 4224 40e5d5af3c71
child 4234 7ec503ed040d
--- a/src/core/rng-stream.cc	Wed Jan 28 13:35:47 2009 -0500
+++ b/src/core/rng-stream.cc	Wed Jan 28 15:04:28 2009 -0500
@@ -367,6 +367,10 @@
 {
   12345.0, 12345.0, 12345.0, 12345.0, 12345.0, 12345.0
 };
+double RngStream::packageSeed[6] =
+{
+  12345.0, 12345.0, 12345.0, 12345.0, 12345.0, 12345.0
+};
 
 //-------------------------------------------------------------------------
 // constructor
@@ -466,7 +470,7 @@
       return false;
     }
   for (int i = 0; i < 6; ++i)
-    nextSeed[i] = seed[i];
+    packageSeed[i] = nextSeed[i] = seed[i];
   return true;
 }
 bool 
@@ -481,7 +485,7 @@
   EnsureGlobalInitialized ();
   for (int i = 0; i < 6; i++)
     {
-      seed[i] = nextSeed[i];
+      seed[i] = static_cast<uint32_t> (packageSeed[i]);
     }
 }
 void