From d04250b7e3d809ded65b767f34baf398ca03eae1 Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Thu, 29 Jan 2015 06:49:19 -0800 Subject: * txr.1: Minor change under make-random-state. --- txr.1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/txr.1 b/txr.1 index 30687b9d..3a7d7658 100644 --- a/txr.1 +++ b/txr.1 @@ -23335,7 +23335,7 @@ If the seed is not specified, then produces a seed based on some information in the process environment, such as current time of day. It is not guaranteed that two calls to -.code (make-random-state nil) +.code (make-random-state) that are separated by less than some minimum increment of real time produce different seeds. The minimum time increment depends on the platform. -- cgit v1.2.3