Adds a NuSMV (2.6) lexer and example file.

See http://nusmv.fbk.eu/NuSMV/ and in particular the documentation at http://nusmv.fbk.eu/NuSMV/userman/v26/nusmv.pdf.

1 files changed, 1 insertions, 1 deletions

diff --git a/AUTHORS b/AUTHORS
index c5ed18b7..8c822742 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -174,7 +174,7 @@ Other contributors, listed alphabetically, are:
 * Alexander Smishlajev -- Visual FoxPro lexer
 * Steve Spigarelli -- XQuery lexer
 * Jerome St-Louis -- eC lexer
-* Camil Staps -- Clean lexer
+* Camil Staps -- Clean and NuSMV lexers
 * James Strachan -- Kotlin lexer
 * Tom Stuart -- Treetop lexer
 * Colin Sullivan -- SuperCollider lexer