renamed "htmlcomment" to "html_comment"

This commit is contained in:
Erik Krogh Kristensen
2020-09-04 11:55:17 +02:00
parent db0747876e
commit 136345d745
2 changed files with 3 additions and 3 deletions

View File

@@ -804,8 +804,8 @@ case @comment.kind of
| 3 = @htmlcommentstart
| 4 = @htmlcommentend;
@htmlcomment = @htmlcommentstart | @htmlcommentend;
@linecomment = @slashslashcomment | @htmlcomment;
@html_comment = @htmlcommentstart | @htmlcommentend;
@linecomment = @slashslashcomment | @html_comment;
@blockcomment = @slashstarcomment | @doccomment;
// source lines