doc: make end comment consistent with start comment
This commit is contained in:
@@ -133,7 +133,7 @@ Some productions are defined by exclusion of particular Unicode characters:
|
|||||||
|
|
||||||
```{.ebnf .gram}
|
```{.ebnf .gram}
|
||||||
comment : block_comment | line_comment ;
|
comment : block_comment | line_comment ;
|
||||||
block_comment : "/*" block_comment_body * '*' + '/' ;
|
block_comment : "/*" block_comment_body * "*/" ;
|
||||||
block_comment_body : [block_comment | character] * ;
|
block_comment_body : [block_comment | character] * ;
|
||||||
line_comment : "//" non_eol * ;
|
line_comment : "//" non_eol * ;
|
||||||
```
|
```
|
||||||
|
|||||||
Reference in New Issue
Block a user