diff options
| author | Matthäus G. Chajdas <dev@anteru.net> | 2022-06-19 10:05:51 +0200 |
|---|---|---|
| committer | Matthäus G. Chajdas <dev@anteru.net> | 2022-06-19 10:05:51 +0200 |
| commit | e860c23e05b954c52a42a82c20ce1a59069510ba (patch) | |
| tree | fae11522e4632a62327a0cdc77166ee898543dc4 /pygments/lexers/ml.py | |
| parent | e23ae48d9a06a22fd8079e9e21cbd09d1563424e (diff) | |
| parent | 0f4409637b6d66a2746cc897ad8809e716f44121 (diff) | |
| download | pygments-git-e860c23e05b954c52a42a82c20ce1a59069510ba.tar.gz | |
Merge branch 'patch-1' of https://github.com/SECtim/pygments into SECtim-patch-1
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 614e4eb4..bd558c31 100644 --- a/pygments/lexers/ml.py +++ b/pygments/lexers/ml.py @@ -911,7 +911,7 @@ class FStarLexer(RegexLexer): (r'\b([A-Z][\w\']*)(?=\s*\.)', Name.Namespace, 'dotted'), (r'\b([A-Z][\w\']*)', Name.Class), (r'\(\*(?![)])', Comment, 'comment'), - (r'^\/\/.+$', Comment), + (r'\/\/.+$', Comment), (r'\b(%s)\b' % '|'.join(keywords), Keyword), (r'\b(%s)\b' % '|'.join(assume_keywords), Name.Exception), (r'\b(%s)\b' % '|'.join(decl_keywords), Keyword.Declaration), |