diff --git a/src/etc/extract_grammar.py b/src/etc/extract_grammar.py index 58d1975c042b..61aabf1d881c 100755 --- a/src/etc/extract_grammar.py +++ b/src/etc/extract_grammar.py @@ -93,7 +93,11 @@ symnames = { "//": "linecomment", "/*": "openblockcomment", -"*/": "closeblockcomment" +"*/": "closeblockcomment", +"macro_rules": "macro_rules", +"=>" : "eg", +".." : "dotdot", +"," : "comma" } lines = []