diff options
| author | Matthäus G. Chajdas <dev@anteru.net> | 2022-06-19 10:06:20 +0200 |
|---|---|---|
| committer | Matthäus G. Chajdas <dev@anteru.net> | 2022-06-19 10:06:20 +0200 |
| commit | 154d00505d508bfda146366c8c6aab7873db5e2e (patch) | |
| tree | e11df47e773617dbb29c35fbab3e673e09eeb592 /pygments | |
| parent | e23ae48d9a06a22fd8079e9e21cbd09d1563424e (diff) | |
| parent | 23d17d472b811b02a990f2312bafae645ee2a5d5 (diff) | |
| download | pygments-git-154d00505d508bfda146366c8c6aab7873db5e2e.tar.gz | |
Merge branch 'SECtim-patch-1'
Diffstat (limited to 'pygments')
| -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), |