From beaf0e6677b275ca3c9307a3f4335b6ef0e41867 Mon Sep 17 00:00:00 2001 From: Siraaj Khandkar Date: Sun, 2 Sep 2012 17:33:30 -0400 Subject: [PATCH] Discovered Random.self_init --- life/002/src/life.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/life/002/src/life.ml b/life/002/src/life.ml index f7bf55e..b336704 100644 --- 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) -- 2.20.1