diff options
Diffstat (limited to 'doc/src/sgml/ref/drop_user_mapping.sgml')
| -rw-r--r-- | doc/src/sgml/ref/drop_user_mapping.sgml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/src/sgml/ref/drop_user_mapping.sgml b/doc/src/sgml/ref/drop_user_mapping.sgml index 747d7cbd2e7..de21bfe5d7a 100644 --- a/doc/src/sgml/ref/drop_user_mapping.sgml +++ b/doc/src/sgml/ref/drop_user_mapping.sgml @@ -85,8 +85,7 @@ DROP USER MAPPING [ IF EXISTS ] FOR { <replaceable class="parameter">user_name</ Drop a user mapping <literal>bob</>, server <literal>foo</> if it exists: <programlisting> DROP USER MAPPING IF EXISTS FOR bob SERVER foo; -</programlisting> - </para> +</programlisting></para> </refsect1> <refsect1> |