Mercurial Repositories > eric / file diff
diff: ThirdParty/Pygments/pygments/lexers/ml.py
ThirdParty/Pygments/pygments/lexers/ml.py
- changeset 6651
- e8f3b5568b21
- parent 5713
- 6762afd9f963
--- a/ThirdParty/Pygments/pygments/lexers/ml.py Sat Jan 12 12:11:42 2019 +0100 +++ b/ThirdParty/Pygments/pygments/lexers/ml.py Sat Jan 12 12:40:14 2019 +0100 @@ -43,7 +43,7 @@ symbolicid_reserved = set(( # Core - ':', '\|', '=', '=>', '->', '#', + ':', r'\|', '=', '=>', '->', '#', # Modules ':>', ))
