diff options
| -rw-r--r-- | src/doc/reference.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/reference.md b/src/doc/reference.md index d05705562d2..40c28fab02d 100644 --- a/src/doc/reference.md +++ b/src/doc/reference.md @@ -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 * ; ``` |