doc: make end comment consistent with start comment

diff --git a/src/doc/reference.md b/src/doc/reference.md
index d05705562d27ad6327f0146e184467111bd841ef..40c28fab02d7ad98f6d81ec142a33e989c8e3514 100644 (file)
--- 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 * ;
 ```