diff options
| -rw-r--r-- | doc/rust.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/rust.md b/doc/rust.md index 60a83662b0e..3435cdbf9fe 100644 --- a/doc/rust.md +++ b/doc/rust.md @@ -155,8 +155,8 @@ Some productions are defined by exclusion of particular Unicode characters: ~~~~~~~~ {.ebnf .gram} comment : block_comment | line_comment ; -block_comment : "/*" block_comment_body * "*/" ; -block_comment_body : non_star * | '*' non_slash ; +block_comment : "/*" block_comment_body * "*" + "/" ; +block_comment_body : non_star * | '*' + non_slash ; line_comment : "//" non_eol * ; ~~~~~~~~ |