Fix error in setseed() docs: "int32" is not a (SQL) type, but "integer" is.

diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
index 01c9a91989cd79193141462a0fc33569788546bb..7e1b488bae7f167a339eaf3320e3bf2bee010a51 100644 (file)
--- a/doc/src/sgml/func.sgml
+++ b/doc/src/sgml/func.sgml
@@ -1,5 +1,5 @@
 <!--
-$PostgreSQL: pgsql/doc/src/sgml/func.sgml,v 1.219 2004/09/28 10:18:22 neilc Exp $
+$PostgreSQL: pgsql/doc/src/sgml/func.sgml,v 1.220 2004/10/04 08:15:41 neilc Exp $
 PostgreSQL documentation
 -->
 
@@ -671,7 +671,7 @@ PostgreSQL documentation
 
       <row>
        <entry><literal><function>setseed</function>(<type>dp</type>)</literal></entry>
-       <entry><type>int32</type></entry>
+       <entry><type>integer</type></entry>
        <entry>set seed for subsequent <literal>random()</literal> calls</entry>
        <entry><literal>setseed(0.54823)</literal></entry>
        <entry><literal>1177314959</literal></entry>