From 3ae73098e8d9266660af0b4a3dab18fcb673ddfa Mon Sep 17 00:00:00 2001
From: Aolin <aolin.zhang@pingcap.com>
Date: Thu, 12 Dec 2024 15:46:21 +0800
Subject: [PATCH] sql: fix the synopsis of `REVOKE <privileges>` (#19659)

---
 sql-statements/sql-statement-revoke-privileges.md | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/sql-statements/sql-statement-revoke-privileges.md b/sql-statements/sql-statement-revoke-privileges.md
index 532b601db0949..917b8e899851d 100644
--- a/sql-statements/sql-statement-revoke-privileges.md
+++ b/sql-statements/sql-statement-revoke-privileges.md
@@ -11,8 +11,8 @@ This statement removes privileges from an existing user. Executing this statemen
 ## Synopsis
 
 ```ebnf+diagram
-GrantStmt ::=
-    'GRANT' PrivElemList 'ON' ObjectType PrivLevel 'TO' UserSpecList RequireClauseOpt WithGrantOptionOpt
+RevokeStmt ::=
+    'REVOKE' PrivElemList 'ON' ObjectType PrivLevel 'FROM' UserSpecList
 
 PrivElemList ::=
     PrivElem ( ',' PrivElem )*
@@ -55,10 +55,6 @@ PrivLevel ::=
 
 UserSpecList ::=
     UserSpec ( ',' UserSpec )*
-
-RequireClauseOpt ::= ('REQUIRE' ('NONE' | 'SSL' | 'X509' | RequireListElement ('AND'? RequireListElement)*))?
-
-RequireListElement ::= 'ISSUER' Issuer | 'SUBJECT' Subject | 'CIPHER' Cipher | 'SAN' SAN | 'TOKEN_ISSUER' TokenIssuer
 ```
 
 ## Examples