Discovered Random.self_init

diff --git a/life/002/src/life.ml b/life/002/src/life.ml
index f7bf55e..b336704 100644 (file)
--- a/life/002/src/life.ml
+++ b/life/002/src/life.ml
@@ -107,7 +107,7 @@ let main argv =
   and y = int_of_string argv.(2)
   in
 
-  Random.init (int_of_float (Unix.time ()));
+  Random.self_init ();
 
   life_loop (init_board x y)