fix.

diff --git a/lib/util_random.cc b/lib/util_random.cc
index 2a3c600..0c177fc 100644 (file)
--- a/lib/util_random.cc
+++ b/lib/util_random.cc
@@ -96,5 +96,7 @@ double  randDouble () {
 } 
 
 long  random_int (unsigned long n) {
+    if (! Inited)
+       init ();
     return random () % n;
 }