From f6bb38daeebe6a7225a283641c36671b4f722e66 Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Wed, 17 Feb 2016 10:37:39 +0100
Subject: regexlint fixes.

---
 pygments/lexers/asm.py          | 2 +-
 pygments/lexers/verification.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/pygments/lexers/asm.py b/pygments/lexers/asm.py
index bd7eaae5..325cbbed 100644
--- a/pygments/lexers/asm.py
+++ b/pygments/lexers/asm.py
@@ -211,7 +211,7 @@ class HsailLexer(RegexLexer):
     mimetypes = ['text/x-hsail']
 
     string = r'"[^"]*?"'
-    identifier = r'[a-zA-Z_][a-zA-Z0-9_.]*'
+    identifier = r'[a-zA-Z_][\w.]*'
     # Registers
     register_number = r'[0-9]+'
     register = r'(\$(c|s|d|q)' + register_number + ')'
diff --git a/pygments/lexers/verification.py b/pygments/lexers/verification.py
index 2391eb49..4042d44e 100644
--- a/pygments/lexers/verification.py
+++ b/pygments/lexers/verification.py
@@ -96,7 +96,7 @@ class SilverLexer(RegexLexer):
             (r'[!%&*+=|?:<>/-]', Operator),
             (r"([{}():;,.])", Punctuation),
             # Identifier
-            (r'[a-zA-Z_$0-9]\w*', Name),
+            (r'[\w$]\w*', Name),
         ],
         'comment': [
             (r'[^*/]+', Comment.Multiline),
-- 
cgit v1.2.1