Sorry, that change was not correct.

diff --git a/doc/src/sgml/ref/set.sgml b/doc/src/sgml/ref/set.sgml
index e4b05854b00a7bf32bdee0100f37129a91a3a9d0..417eb9be3c7ade81a1f8b0d9e4b6079ad5f59b9b 100644 (file)
--- a/doc/src/sgml/ref/set.sgml
+++ b/doc/src/sgml/ref/set.sgml
@@ -1,5 +1,5 @@
 
 
@@ -196,7 +196,7 @@ SET TIME ZONE { 'timezone' | LOCAL
        The value for the seed to be used by the
        random function. Allowed
        values are floating point numbers between 0 and 1, which
-       are then multiplied by RAND_MAX. This product will
+       are then multiplied by 2^31-1. This product will
        silently overflow if a number outside the range is used.