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}
|
```{.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 * ;
|
||||||
```
|
```
|
||||||
|
|
Loading…
Reference in a new issue