diff options
author | JJ Atria <jjatria@gmail.com> | 2016-03-19 18:31:37 +0000 |
---|---|---|
committer | JJ Atria <jjatria@gmail.com> | 2016-03-19 18:31:37 +0000 |
commit | b0cdf3f31cac920eb93535b167ef6594db737efe (patch) | |
tree | a5b95fa4c58630fc5f768a487ab4d6ce600e7edd | |
parent | d32eaffff1c837503f141f7dce3f6793b185d414 (diff) | |
download | pygments-b0cdf3f31cac920eb93535b167ef6594db737efe.tar.gz |
Removed duplicated rule in Praat forms
-rw-r--r-- | pygments/lexers/praat.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/pygments/lexers/praat.py b/pygments/lexers/praat.py index 66f49b35..0754e947 100644 --- a/pygments/lexers/praat.py +++ b/pygments/lexers/praat.py @@ -268,9 +268,6 @@ class PraatLexer(RegexLexer): bygroups(Keyword, Text), 'number'), (r'(option|button)([ \t]+)', - bygroups(Keyword, Text), 'number'), - - (r'(option|button)([ \t]+)', bygroups(Keyword, Text), 'string_unquoted'), (r'(sentence|text)([ \t]+\S+)', |