Require an asterisk to close a delimited_doc_comment

Prior to this change, the grammar showed that the asterisk in the '*/' pair
that closes a block comment was optional. This change updates the grammar
rule to require at least one asterisk to appear.
This commit is contained in:
Sam Harwell 2017-02-01 22:45:24 -06:00
parent 460058747f
commit 380631f0cc

View file

@ -16,7 +16,7 @@ single_line_doc_comment
;
delimited_doc_comment
: '/**' delimited_comment_section* asterisk* '/'
: '/**' delimited_comment_section* asterisk+ '/'
;
```