diff options
| author | Vytautas Astrauskas <vastrauskas@gmail.com> | 2016-11-15 14:25:31 +0100 |
|---|---|---|
| committer | Vytautas Astrauskas <vastrauskas@gmail.com> | 2016-11-15 14:25:31 +0100 |
| commit | 93c073eb0f3dbb637ee2d23c6de0d1153c2818d7 (patch) | |
| tree | a6ea75916682fd4a02b8a3cf238437055447af04 | |
| parent | 88f82fe1228a958ac8eff1ea14d8c66b360488a3 (diff) | |
| download | pygments-93c073eb0f3dbb637ee2d23c6de0d1153c2818d7.tar.gz | |
Added new default file name for the Silver language.
| -rw-r--r-- | pygments/lexers/verification.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/lexers/verification.py b/pygments/lexers/verification.py index 37b4e143..1ffee0ab 100644 --- a/pygments/lexers/verification.py +++ b/pygments/lexers/verification.py @@ -69,7 +69,7 @@ class SilverLexer(RegexLexer): """ name = 'Silver' aliases = ['silver'] - filenames = ['*.sil'] + filenames = ['*.sil', '*.vpr'] tokens = { 'root': [ |