diff -r bdce17c3a0e8 -r 73b49aa25221 src/core/rng-stream.h
--- a/src/core/rng-stream.h	Tue Jan 20 11:41:57 2009 -0500
+++ b/src/core/rng-stream.h	Tue Jan 20 14:00:05 2009 -0500
@@ -60,6 +60,7 @@
   bool anti, incPrec;
   double U01 ();
   double U01d ();
+  static void EnsureGlobalInitialized (void);
 private: //static data
   static double nextSeed[6];
 };