doc: make end comment consistent with start comment
This commit is contained in:
parent
7e43f419cb
commit
a8933973f9
1 changed files with 1 additions and 1 deletions
|
@ -133,7 +133,7 @@ Some productions are defined by exclusion of particular Unicode characters:
|
|||
|
||||
```{.ebnf .gram}
|
||||
comment : block_comment | line_comment ;
|
||||
block_comment : "/*" block_comment_body * '*' + '/' ;
|
||||
block_comment : "/*" block_comment_body * "*/" ;
|
||||
block_comment_body : [block_comment | character] * ;
|
||||
line_comment : "//" non_eol * ;
|
||||
```
|
||||
|
|
Loading…
Reference in a new issue