summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGeorg Brandl <georg@python.org>2012-02-04 09:02:51 +0100
committerGeorg Brandl <georg@python.org>2012-02-04 09:02:51 +0100
commitcc6e5cc1a3340f371515cc0bd0a2b54deb81c876 (patch)
tree573fceb8be21b14c66faf732cda3d43c5850566e
parentcb649f2f782ae7a957723645ece23e0e59bf83cd (diff)
downloadpygments-cc6e5cc1a3340f371515cc0bd0a2b54deb81c876.tar.gz
Closes #735: (*) is not a comment in F#.
-rw-r--r--pygments/lexers/dotnet.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/lexers/dotnet.py b/pygments/lexers/dotnet.py
index c1c96a70..20f645e1 100644
--- a/pygments/lexers/dotnet.py
+++ b/pygments/lexers/dotnet.py
@@ -584,7 +584,7 @@ class FSharpLexer(RegexLexer):
Name.Namespace, 'dotted'),
(r'\b([A-Z][A-Za-z0-9_\']*)', Name.Class),
(r'//.*?\n', Comment.Single),
- (r'\(\*', Comment, 'comment'),
+ (r'\(\*(?!\))', Comment, 'comment'),
(r'\b(%s)\b' % '|'.join(keywords), Keyword),
(r'(%s)' % '|'.join(keyopts), Operator),
(r'(%s|%s)?%s' % (infix_syms, prefix_syms, operators), Operator),