src/core/rng-stream.h
changeset 4234 7ec503ed040d
parent 4231 6f9f859bae8b
--- a/src/core/rng-stream.h	Tue Feb 17 14:49:22 2009 -0500
+++ b/src/core/rng-stream.h	Mon Feb 23 22:55:16 2009 -0500
@@ -67,7 +67,6 @@
   double U01d ();
   static uint32_t EnsureGlobalInitialized (void);
 private: //static data
-  static double packageSeed[6];
   static double nextSeed[6];
 };