From f77dac66e1867cfdf6f7549822dd64416f6063bc Mon Sep 17 00:00:00 2001
From: Nybblista <170842536+nybblista@users.noreply.github.com>
Date: Fri, 9 May 2025 10:06:22 +0300
Subject: [PATCH] gh-133412: amend docs for the `inst` definition (#133708)

The `stack_effect` is incorrectly documented as being allowed to be optional.
---
 Tools/cases_generator/interpreter_definition.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Tools/cases_generator/interpreter_definition.md b/Tools/cases_generator/interpreter_definition.md
index 1ee4306f3eac..72020133738f 100644
--- a/Tools/cases_generator/interpreter_definition.md
+++ b/Tools/cases_generator/interpreter_definition.md
@@ -81,7 +81,7 @@ and a piece of C code describing its semantics:
     (definition | family | pseudo)+
 
   definition:
-    "inst" "(" NAME ["," stack_effect] ")" "{" C-code "}"
+    "inst" "(" NAME "," stack_effect ")" "{" C-code "}"
     |
     "op" "(" NAME "," stack_effect ")" "{" C-code "}"
     |
-- 
2.47.3