summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCamil Staps <info@camilstaps.nl>2016-03-02 23:04:25 +0100
committerCamil Staps <info@camilstaps.nl>2016-03-02 23:04:25 +0100
commite9e89c7a16f17ea7e77d20902adcd154522bdbb8 (patch)
tree5a468fbe1ee725a135e257988ba30ded0fe85454
parent3c826b0b3fb0800ef9de05f89027f20d5a7479a8 (diff)
downloadpygments-e9e89c7a16f17ea7e77d20902adcd154522bdbb8.tar.gz
NuSMV: Removed last \b
-rw-r--r--pygments/lexers/smv.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/lexers/smv.py b/pygments/lexers/smv.py
index 17b5e4f4..76a4c379 100644
--- a/pygments/lexers/smv.py
+++ b/pygments/lexers/smv.py
@@ -39,7 +39,7 @@ class NuSMVLexer(RegexLexer):
'COMPASSION','ISA','ASSIGN','CONSTRAINT','SIMPWFF','CTLWFF',
'LTLWFF','PSLWFF','COMPWFF','IN','MIN','MAX','MIRROR','PRED',
'PREDICATES'), suffix=r'(?![\w$#-])'), Keyword.Declaration),
- (r'\bprocess\b', Keyword),
+ (r'process(?![\w$#-])', Keyword),
(words(('array','of','boolean','integer','real','word'),
suffix=r'(?![\w$#-])'), Keyword.Type),
(words(('case','esac'), suffix=r'(?![\w$#-])'), Keyword),