diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/manual.of | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/manual/manual.of b/manual/manual.of index 3d2fb4fb..7f2596fa 100644 --- a/manual/manual.of +++ b/manual/manual.of | |||
| @@ -7798,6 +7798,9 @@ 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, | ||
| 7802 | the call returns the two seed components that were used. | ||
| 7803 | |||
| 7801 | To ensure a required level of randomness to the initial state | 7804 | To ensure a required level of randomness to the initial state |
| 7802 | (or contrarily, to have a deterministic sequence, | 7805 | (or contrarily, to have a deterministic sequence, |
| 7803 | for instance when debugging a program), | 7806 | for instance when debugging a program), |
