diff options
| author | Gaurav Jain <gaurav@gauravjain.org> | 2014-05-15 20:50:25 -0400 |
|---|---|---|
| committer | Gaurav Jain <gaurav@gauravjain.org> | 2014-05-15 20:50:25 -0400 |
| commit | 4eb6e4dd67d57197d3a077cf4aeca6736ef85d5b (patch) | |
| tree | 4be64c9c482ab43bb16c26cbd7a49f1a6af9fff8 /pygments/lexers/functional.py | |
| parent | f8a5949ecb6e4865aad9c2511d14b5a9ee87bdc6 (diff) | |
| download | pygments-4eb6e4dd67d57197d3a077cf4aeca6736ef85d5b.tar.gz | |
Superfluous character class when only one char
Diffstat (limited to 'pygments/lexers/functional.py')
| -rw-r--r-- | pygments/lexers/functional.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/lexers/functional.py b/pygments/lexers/functional.py index 72fb37bc..1f9d816e 100644 --- a/pygments/lexers/functional.py +++ b/pygments/lexers/functional.py @@ -1163,7 +1163,7 @@ class AgdaLexer(RegexLexer): (r'\b(Set|Prop)\b', Keyword.Type), # Special Symbols (r'(\(|\)|\{|\})', Operator), - (u'(\\.{1,3}|\\||[\u039B]|[\u2200]|[\u2192]|:|=|->)', Operator.Word), + (u'(\\.{1,3}|\\||\u039B|\u2200|\u2192|:|=|->)', Operator.Word), # Numbers (r'\d+[eE][+-]?\d+', Number.Float), (r'\d+\.\d+([eE][+-]?\d+)?', Number.Float), |