Merge branch 'mdw7326-master'

Author: corbanmailloux

Syntaxes/Promela.YAML-tmLanguage

@@ -92,9 +92,9 @@ patterns:
   match: '\b(typedef|c_state)\b'
 
 
-# Strangely, this is not part of the spec for promela, but it is in C.
-#- comment: Line comment
-#  name: comment.double-slash
-#  match: '\/\/.*$'
+# This is not strictly a part of the Promela or C spec, but everyone does it and the compiler handles it.
+- comment: Line comment
+  name: comment.double-slash
+  match: '\/\/.*$'
 
 ...

Syntaxes/Promela.tmLanguage

@@ -171,6 +171,14 @@
 			<key>name</key>
 			<string>storage.modifier</string>
 		</dict>
+		<dict>
+			<key>comment</key>
+			<string>Line comment</string>
+			<key>match</key>
+			<string>\/\/.*$</string>
+			<key>name</key>
+			<string>comment.double-slash</string>
+		</dict>
 	</array>
 	<key>scopeName</key>
 	<string>source.promela</string>