diff options
Diffstat (limited to 'pygments/lexers/other.py')
| -rw-r--r-- | pygments/lexers/other.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pygments/lexers/other.py b/pygments/lexers/other.py index afd0fda5..dd45083c 100644 --- a/pygments/lexers/other.py +++ b/pygments/lexers/other.py @@ -36,5 +36,6 @@ from pygments.lexers.urbi import UrbiscriptLexer from pygments.lexers.smalltalk import SmalltalkLexer, NewspeakLexer from pygments.lexers.installers import NSISLexer, RPMSpecLexer from pygments.lexers.textedit import AwkLexer +from pygments.lexers.smv import NuSMVLexer __all__ = [] |