From ebc34cf4aa935dea5dd8afed3fbed3837fe4f230 Mon Sep 17 00:00:00 2001
From: Luke Marzen <98473324+lmarzen@users.noreply.github.com>
Date: Sun, 14 Jan 2024 18:26:41 -0600
Subject: [PATCH] fix file extension typo, remove redundent parens (#914)

---
 lexers/embedded/promela.xml | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/lexers/embedded/promela.xml b/lexers/embedded/promela.xml
index 6a47796c9..84558c3b6 100644
--- a/lexers/embedded/promela.xml
+++ b/lexers/embedded/promela.xml
@@ -7,14 +7,14 @@
     <filename>*.prom</filename>
     <filename>*.prm</filename>
     <filename>*.promela</filename>
-    <filename>*pr</filename>
+    <filename>*.pr</filename>
     <filename>*.pm</filename>
     <mime_type>text/x-promela</mime_type>
   </config>
   <rules>
     <state name="statements">
       <rule pattern="(\[\]|&lt;&gt;|/\\|\\/)|(U|W|V)\b"><token type="Operator"/></rule>
-      <rule pattern="[@]"><token type="Punctuation"/></rule>
+      <rule pattern="@"><token type="Punctuation"/></rule>
       <rule pattern="(\.)([a-zA-Z_]\w*)"><bygroups><token type="Operator"/><token type="NameAttribute"/></bygroups></rule>
       <rule><include state="keywords"/></rule>
       <rule><include state="types"/></rule>
@@ -41,11 +41,11 @@
       <rule pattern="(c_code|c_decl|c_expr|c_state|c_track)\b"><token type="Keyword"/></rule>
       <rule pattern="(_|_last|_nr_pr|_pid|_priority|else|np_|STDIN)\b"><token type="NameBuiltin"/></rule>
       <rule pattern="(empty|enabled|eval|full|len|nempty|nfull|pc_value)\b"><token type="NameFunction"/></rule>
-      <rule pattern="(run)\b"><token type="OperatorWord"/></rule>
+      <rule pattern="run\b"><token type="OperatorWord"/></rule>
       <rule pattern="(active|chan|D_proctype|hidden|init|local|mtype|never|notrace|proctype|show|trace|typedef|xr|xs)\b"><token type="KeywordDeclaration"/></rule>
       <rule pattern="(priority|provided)\b"><token type="Keyword"/></rule>
       <rule pattern="(inline|ltl|select)\b"><token type="KeywordDeclaration"/></rule>
-      <rule pattern="(skip)\b"><token type="Keyword"/></rule>
+      <rule pattern="skip\b"><token type="Keyword"/></rule>
     </state>
     <state name="whitespace">
       <rule pattern="^#if\s+0"><token type="CommentPreproc"/><push state="if0"/></rule>
@@ -116,5 +116,4 @@
       <rule><include state="statements"/></rule>
     </state>
   </rules>
-</lexer>
-
+</lexer>
\ No newline at end of file