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 3245f83e08d8dea753476b54156ad02f4666047a..59b8801f04e2e9017c88689c0313b548fb62861a 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');