[PATCH] Fix os-linux.h: os_random_long()

diff --git a/os/os-linux.h b/os/os-linux.h
index 8c8c390..700f9d0 100644
--- a/os/os-linux.h
+++ b/os/os-linux.h
@@ -199,7 +199,7 @@ static inline long os_random_long(os_ran
 {
         long val;
 
- lrand48_r(rs, &val);
+ mrand48_r(rs, &val);
         return val;
 }
 
Received on Thu Jul 26 2007 - 20:38:41 CEST