From 5fdda1ceab35311367ed0dbb283cd8aea896e49b Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Sat, 16 Apr 2016 12:54:56 -0400
Subject: [PATCH] doc: Change some "user" to "role" for consistency in the
 section

suggested by Johannes Choo
---
 doc/src/sgml/ddl.sgml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/src/sgml/ddl.sgml b/doc/src/sgml/ddl.sgml
index 6a3b622098..f2055b0d58 100644
--- a/doc/src/sgml/ddl.sgml
+++ b/doc/src/sgml/ddl.sgml
@@ -1466,7 +1466,7 @@ ALTER TABLE products RENAME TO items;
 
   <para>
    To assign privileges, the <command>GRANT</command> command is
-   used. For example, if <literal>joe</literal> is an existing user, and
+   used. For example, if <literal>joe</literal> is an existing role, and
    <literal>accounts</literal> is an existing table, the privilege to
    update the table can be granted with:
 <programlisting>
@@ -1477,8 +1477,8 @@ GRANT UPDATE ON accounts TO joe;
   </para>
 
   <para>
-   The special <quote>user</quote> name <literal>PUBLIC</literal> can
-   be used to grant a privilege to every user on the system.  Also,
+   The special <quote>role</quote> name <literal>PUBLIC</literal> can
+   be used to grant a privilege to every role on the system.  Also,
    <quote>group</> roles can be set up to help manage privileges when
    there are many users of a database &mdash; for details see
    <xref linkend="user-manag">.
-- 
2.49.0