diff options
Diffstat (limited to 'doc/grammar.txt')
| -rw-r--r-- | doc/grammar.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/grammar.txt b/doc/grammar.txt index 878a4e5e1..29a4300b6 100644 --- a/doc/grammar.txt +++ b/doc/grammar.txt @@ -166,7 +166,7 @@ objectBranch = 'of' exprList colcom objectPart objectBranches = objectBranch (IND{=} objectBranch)* (IND{=} 'elif' expr colcom objectPart)* (IND{=} 'else' colcom objectPart)? -objectCase = 'case' identWithPragma ':' typeDesc ':'? COMMENT? +objectCase = 'case' declColonEquals ':'? COMMENT? (IND{>} objectBranches DED | IND{=} objectBranches) objectPart = IND{>} objectPart^+IND{=} DED |