diff options
Diffstat (limited to 'manual')
-rw-r--r-- | manual/manual.of | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/manual/manual.of b/manual/manual.of index 7f2596fa..1646f113 100644 --- a/manual/manual.of +++ b/manual/manual.of | |||
@@ -7798,8 +7798,10 @@ The default for @id{y} is zero. | |||
7798 | When called with no arguments, | 7798 | When called with no arguments, |
7799 | Lua generates a seed with | 7799 | Lua generates a seed with |
7800 | a weak attempt for randomness. | 7800 | a weak attempt for randomness. |
7801 | In this case, | 7801 | |
7802 | the call returns the two seed components that were used. | 7802 | This function returns the two seed components |
7803 | that were effectively used, | ||
7804 | so that setting them again repeats the sequence. | ||
7803 | 7805 | ||
7804 | To ensure a required level of randomness to the initial state | 7806 | To ensure a required level of randomness to the initial state |
7805 | (or contrarily, to have a deterministic sequence, | 7807 | (or contrarily, to have a deterministic sequence, |