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 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), |