diff options
| author | daan <devnull@localhost> | 2013-05-13 18:29:13 -0700 |
|---|---|---|
| committer | daan <devnull@localhost> | 2013-05-13 18:29:13 -0700 |
| commit | d985d62036d76bffec652e67f67a650f057666e9 (patch) | |
| tree | afdd08c5083595992cdf113380725c5f1c157047 | |
| parent | e7a7f1f15e3897d32434787b204eab163cf55ff1 (diff) | |
| download | pygments-d985d62036d76bffec652e67f67a650f057666e9.tar.gz | |
Koka: fixed superfluous \d
| -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 bdee52ce..7a6b915b 100644 --- a/pygments/lexers/functional.py +++ b/pygments/lexers/functional.py @@ -2453,7 +2453,7 @@ class KokaLexer(RegexLexer): sboundary = '(?!'+symbols+')' # name boundary: a keyword should not be followed by any of these - boundary = '(?![\w\d/])' + boundary = '(?![\w/])' # koka token abstractions tokenType = Name.Attribute |