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 bd558c31..923137ac 100644 --- a/pygments/lexers/ml.py +++ b/pygments/lexers/ml.py @@ -8,7 +8,7 @@ :license: BSD, see LICENSE for details. """ -import re +import regex as re from pygments.lexer import RegexLexer, include, bygroups, default, words from pygments.token import Text, Comment, Operator, Keyword, Name, String, \ |