From a8933973f9d33bbeef8c9c0be4a693a2f65cb97b Mon Sep 17 00:00:00 2001 From: Alfie John Date: Sun, 16 Nov 2014 04:12:43 +0000 Subject: [PATCH] doc: make end comment consistent with start comment --- src/doc/reference.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc/reference.md b/src/doc/reference.md index d05705562d27a..40c28fab02d7a 100644 --- 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 * ; ```