diff options
Diffstat (limited to 'manual')
-rw-r--r-- | manual/manual.of | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/manual.of b/manual/manual.of index fdae76f2..446517ec 100644 --- a/manual/manual.of +++ b/manual/manual.of | |||
@@ -5728,8 +5728,8 @@ it does not run it. | |||
5728 | @apii{0,0,-} | 5728 | @apii{0,0,-} |
5729 | 5729 | ||
5730 | Returns a value with a weak attempt for randomness. | 5730 | Returns a value with a weak attempt for randomness. |
5731 | (It produces that value based on the current date and time, | 5731 | (It produces that value based on the current date and time |
5732 | the current processor time, and the address of an internal variable, | 5732 | and the address of an internal variable, |
5733 | in case the machine has Address Space Layout Randomization.) | 5733 | in case the machine has Address Space Layout Randomization.) |
5734 | 5734 | ||
5735 | } | 5735 | } |