diff options
Diffstat (limited to 'pygments/lexers/ml.py')
| -rw-r--r-- | pygments/lexers/ml.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/lexers/ml.py b/pygments/lexers/ml.py index 4f10edd0..0bff9816 100644 --- a/pygments/lexers/ml.py +++ b/pygments/lexers/ml.py @@ -5,7 +5,7 @@ Lexers for ML family languages. - :copyright: Copyright 2006-2015 by the Pygments team, see AUTHORS. + :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. """ @@ -43,7 +43,7 @@ class SMLLexer(RegexLexer): symbolicid_reserved = set(( # Core - ':', '\|', '=', '=>', '->', '#', + ':', r'\|', '=', '=>', '->', '#', # Modules ':>', )) |