Fix gram.y comment to match reality

There are other comments in there that don't precisely match what's
implemented, but this one confused me enough to be worth fixing.

diff --git a/src/backend/parser/gram.y b/src/backend/parser/gram.y
index 2c4a5ccece8619e904f01bb96728ba54e32ffe3d..3aa9e42b5ea49f8ac90ac52fe49bfef8b16888a9 100644 (file)
--- a/src/backend/parser/gram.y
+++ b/src/backend/parser/gram.y
@@ -4545,10 +4545,10 @@ AlterUserMappingStmt: ALTER USER MAPPING FOR auth_ident SERVER name alter_generi
 /*****************************************************************************
  *
  *             QUERIES:
- *                             CREATE POLICY name ON table FOR cmd TO role USING (qual)
- *                                     WITH CHECK (with_check)
- *                             ALTER POLICY name ON table FOR cmd TO role USING (qual)
- *                                     WITH CHECK (with_check)
+ *                             CREATE POLICY name ON table [FOR cmd] [TO role, ...]
+ *                                     [USING (qual)] [WITH CHECK (with_check)]
+ *                             ALTER POLICY name ON table [TO role, ...]
+ *                                     [USING (qual)] [WITH CHECK (with_check)]
  *                             DROP POLICY name ON table
  *
  *****************************************************************************/