doc: Correct ALTER USER MAPPING example

The existing example threw an error.

From: gabrielle 

diff --git a/doc/src/sgml/ref/alter_user_mapping.sgml b/doc/src/sgml/ref/alter_user_mapping.sgml
index 3a908130d86ce9d4dc9242cdf2c02ed1395171c9..3be54afee552812cb8302e3dfcf73303b485a32c 100644 (file)
--- a/doc/src/sgml/ref/alter_user_mapping.sgml
+++ b/doc/src/sgml/ref/alter_user_mapping.sgml
@@ -89,9 +89,9 @@ ALTER USER MAPPING FOR { user_name
   Examples
 
   
-   Change the password for user mapping bob, server foo:
+   Change the password for user mapping bob, server foo:
 
-ALTER USER MAPPING FOR bob SERVER foo OPTIONS (user 'bob', password 'public');
+ALTER USER MAPPING FOR bob SERVER foo OPTIONS (SET password 'public');