diff options
Diffstat (limited to 'pygments/lexers/ml.py')
| -rw-r--r-- | pygments/lexers/ml.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/lexers/ml.py b/pygments/lexers/ml.py index f80d5bfa..0bff9816 100644 --- a/pygments/lexers/ml.py +++ b/pygments/lexers/ml.py @@ -43,7 +43,7 @@ class SMLLexer(RegexLexer): symbolicid_reserved = set(( # Core - ':', '\|', '=', '=>', '->', '#', + ':', r'\|', '=', '=>', '->', '#', # Modules ':>', )) |