fix another subtle bug in comment regex

This commit is contained in:
John Clements 2013-03-28 10:19:08 -07:00
parent 48cb50af13
commit 81d30ade61

View File

@ -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_or_star ;
line_comment : "//" non_eol * ;
~~~~~~~~