diff options
Diffstat (limited to 'doc/src/sgml/ref/create_user_mapping.sgml')
| -rw-r--r-- | doc/src/sgml/ref/create_user_mapping.sgml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/src/sgml/ref/create_user_mapping.sgml b/doc/src/sgml/ref/create_user_mapping.sgml index c9606280fb8..c7cc4ce5746 100644 --- a/doc/src/sgml/ref/create_user_mapping.sgml +++ b/doc/src/sgml/ref/create_user_mapping.sgml @@ -94,8 +94,7 @@ CREATE USER MAPPING FOR { <replaceable class="parameter">user_name</replaceable> Create a user mapping for user <literal>bob</>, server <literal>foo</>: <programlisting> CREATE USER MAPPING FOR bob SERVER foo OPTIONS (user 'bob', password 'secret'); -</programlisting> - </para> +</programlisting></para> </refsect1> |