Sorry, that change was not correct.

diff --git a/doc/src/sgml/ref/set.sgml b/doc/src/sgml/ref/set.sgml
index f6928da181dba36acdef0e2592529ebd634a0408..9913a0d3dfb78eef99841ec789a5c9fe7d7322e3 100644 (file)
--- a/doc/src/sgml/ref/set.sgml
+++ b/doc/src/sgml/ref/set.sgml
@@ -196,7 +196,7 @@ SET TIME ZONE { '<replaceable class="PARAMETER">timezone</replaceable>' | LOCAL
            The value for the seed to be used by the
            <function>random</function> 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.
           </para>