From 8a8a0c17ae03cf025411f33f40ac3bf6a588b1c3 Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez-inria.fr>
Date: Thu, 22 Jul 1999 13:00:59 +0000
Subject: ajout de Random.self_init et Sys.date.  Attention bootstrap
 difficile.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 stdlib/random.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'stdlib/random.mli')

diff --git a/stdlib/random.mli b/stdlib/random.mli
index ea53316f8d..f262b4c752 100644
--- a/stdlib/random.mli
+++ b/stdlib/random.mli
@@ -18,6 +18,9 @@ val init : int -> unit
      The same seed will always yield the same sequence of numbers. *)
 val full_init : int array -> unit
   (* Same as [init] but takes more data as seed. *)
+val self_init : unit -> unit
+  (* Initialize the generator with a more-or-less random seed chosen
+     in a system-dependent way. *)
 
 val bits : unit -> int
   (* Return 30 random bits in a nonnegative integer. *)
-- 
cgit v1.2.1